dogear

enter for all results · esc to close

Gaia

github.comtool

Implementation of books from Bourbaki's Elements of Mathematics, including set theory and number theory.

visit github.com ↗
0
sign in to dogear this
from
Coq
added
2026-10-10
likes
0

Coq › Projects > Type Theory and Mathematics: “Implementation of books from Bourbaki's Elements of Mathematics, including set theory and number theory.”