Gaia
MITRocq Proverv2.3
A Coq formalization of Bourbaki's Elements of Mathematics, covering set theory and number theory using the Mathematical Components library.
31 stars7 forks0 contributors
Overview
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Related Projects
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.
