gaia

MaRDI QIDQ21587swMATHFDO

Official website http://www-sop.inria.fr/marelle/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