Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Book Coq Open Source Projects

Open source projects categorized as Book Coq
Frap ⭐ 592
Formal Reasoning About Programs
most recent commit a year ago
Hott Intro ⭐ 169
An introductory course to Homotopy Type Theory
most recent commit 4 years ago
Coq Art ⭐ 95
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
most recent commit 3 months ago
Learn Haskell Coq Ml Etc ⭐ 34
Where I try code from Haskell (etc) books, articles, etc.
most recent commit a year ago
Gaia ⭐ 24
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
most recent commit 4 months ago
Thinking Dumps ⭐ 22
This repo keeps track of my codes, answers and thinkings when exploring books.
most recent commit 3 years ago
Typonomikon ⭐ 11
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
most recent commit 4 months ago
Misc ⭐ 6
Misc playground and random stuff
most recent commit 5 months ago
Software Foundations ⭐ 5
Coq proofs of exercises in Pierce's book
most recent commit 8 years ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.