Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Relation Algebra | 39 | 6 months ago | 1 | lgpl-3.0 | Coq | |||||
Relation algebra library for Coq | ||||||||||
Gaia | 24 | 5 months ago | mit | Coq | ||||||
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery] | ||||||||||
Ct | 8 | 5 years ago | Coq | |||||||
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former. | ||||||||||
Hott Algebra | 6 | 7 years ago | lgpl-2.1 | Coq | ||||||
Coq formalisation of algebra in Homotopy Type Theory | ||||||||||
Relation Algebra | 5 | 6 years ago | lgpl-3.0 | Coq | ||||||
Archived because maintained upstream. |