gaia
From MaRDI portal
Gaia
Cited in
(4)- Implementation of Bourbaki's \textit{Elements of mathematics} in Coq. I: Theory of sets
- Implementation of Bourbaki's \textit{Elements of mathematics} in Coq. II: From natural numbers to real numbers
- On Bourbaki's axiomatic system for set theory
- Representing model theory in a type-theoretical logical framework
This page was built for software: gaia