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
SailSail architecture definition language
Stars909
Forks158
Last commit2 days ago
CosetteCosette is an automated SQL solver.
Stars688
Forks57
Last commit1 year ago
OttThe Ott tool for writing definitions of programming languages and calculi
Stars418
Forks55
Last commit4 months ago
AlectryonA collection of tools for writing technical documents that mix Rocq code and prose.
Stars319
Forks42
Last commit1 month ago
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.