1 search result for "tag:"logpath:gaia.numbers""
Showing 1 - 1
-
coq-gaia-numbers
No documentation
Implementation of the sets of numbers Z, Q, and R following Bourbaki's Elements of Mathematics in Coq2.2MITUsed by 0 other packages11 Aug 2024