2 search results for "tag:"keyword:Bourbaki""
Showing 1 - 2
-
coq-gaia
No documentation
Implementation of books from Bourbaki's Elements of Mathematics in Coq1.13MITUsed by 1 other packages30 Oct 2021 -
coq-gaia-theory-of-sets
No documentation
Implementation of the Theory of Sets from Bourbaki's Elements of Mathematics in Coq2.2MITUsed by 2 other packages11 Aug 2024