Docker Coq Action
3 projects
Showing 3 of 3 projects
Coq'Art Exercises and TutorialsCoq
Coq code and solutions for exercises from the Coq'Art book, a foundational text on the Coq proof assistant.
#calculus-of-inductive-constructions#coq#program-verification
Stars130
Forks26
Last commit
coq-dpdgraphOCaml
A Coq plugin that extracts dependency graphs between Coq objects and provides tools for visualization and analysis.
#coq#coq-platform#coq-ci
Stars99
Forks34
Last commit1 month ago
Hydras & Co.Coq
A Coq-based project exploring hydra battles, ordinal numbers, addition chains, and Gödel's incompleteness theorem through formalized mathematics.
#primitive-recursive-functions#mathematics#discrete-mathematics
Stars83
Forks12
Last commit
Related Tags
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.