Cited in
(4)- Representing model theory in a type-theoretical logical framework
- 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
This page was built for software: gaia