PyCoq
OCaml
Python bindings and libraries for interacting with the Coq interactive proof assistant programmatically.
57 stars4 forks0 contributors
Overview
Python bindings for the Coq interactive proof assistant
Related Projects
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
