Software Foundations

Coq proofs of exercises in Pierce's book
Alternatives To Software Foundations
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Frap592
a year ago3otherCoq
Formal Reasoning About Programs
Hott Intro169
4 years agocc-by-4.0Agda
An introductory course to Homotopy Type Theory
Coq Art95
3 months ago2mitCoq
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Learn Haskell Coq Ml Etc34
a year agounlicenseHaskell
Where I try code from Haskell (etc) books, articles, etc.
Gaia24
4 months agomitCoq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Thinking Dumps22
3 years ago1Coq
This repo keeps track of my codes, answers and thinkings when exploring books.
Typonomikon11
3 months agoCoq
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
Misc6
4 months agoC
Misc playground and random stuff
Software Foundations5
8 years agoCoq
Coq proofs of exercises in Pierce's book
Alternatives To Software Foundations
Select To Compare


Alternative Project Comparisons
Popular Book Projects
Popular Coq Projects
Popular Learning Resources Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Book
Coq