Certified Programming with Dependent Types
0 stars0 forks0 contributors
Overview
Textbook about practical engineering with Coq which teaches advanced practical tricks and a very specific style of proof
Related Projects
Modeling and Proving in Computational Type TheoryModeling and Proving in Computational Type Theory
Stars125
Forks12
Last commit11 days ago
Hydras & Co.Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Stars83
Forks12
Last commit1 year ago
Formal Reasoning About ProgramsBook that simultaneously provides a general introduction to formal logical reasoning about the correctness of programs and to using Coq for this purpose
Stars0
Forks0
Last commit
Coq'ArtThe first book dedicated to Coq
Stars0
Forks0
Last commit
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.