brando90 / ultimate-pycoq

a realiable python-coq

ultimate-pycoq

a realiable python-coq interface -- with emphasis for machine learning (ML) for Large Language Models (LLMs) and Foundation Models (FMs).

Start

Example of how to clone repo:

cd $HOME
git clone [e-mail]:brando90/ultimate-pycoq.git $HOME/ultimate-pycoq/

Data set Generation

To generate dataset based on lf do:

sh $HOME/ultimate-pycoq/main_pycoq_build_dataset.sh lf

To genetate dataset based on upycoq do:

sh $HOME/ultimate-pycoq/main_pycoq_build_dataset.sh upycoq

Acknowledgements

We'd like to thank the following for their directio or indirect inspiration/contributions:

• https://github.com/IBM/pycoq
• https://github.com/brando90/pycoq
• https://github.com/UCSD-PL/proverbot9001
• https://github.com/ejgallego/coq-lsp/
• https://github.com/ejgallego/coq-serapi
• https://github.com/ejgallego/pycoq

if you feel you should be attributed feel free to open an issue or PR.

Citation

TODO