Showing 3 of 3 projects
Coq code and solutions for exercises from the Coq'Art book, a foundational text on the Coq proof assistant.
A Coq plugin that extracts dependency graphs between Coq objects and provides tools for visualization and analysis.
A Coq-based project exploring hydra battles, ordinal numbers, addition chains, and Gödel's incompleteness theorem through formalized mathematics.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.