gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
28 stars
10 watching
6 forks
Language: Coq
last commit: about 2 months ago
Linked from 2 awesome lists
bourbakicoqdocker-coq-actionmathcompmathcomp-ciset-theoryssreflect
uhub/awesome-coq