swMATH9607MaRDI QIDQ21587FDOQ21587
Author name not available (Why is that?)
Official website: http://www-sop.inria.fr/marelle/gaia/
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
