Gaia stands for: Geometry, Algebra, Informatics and Application. The software consists in a set of Coq files that implement sets, groups, rings, etc. The objective is to implement the ”Elements of Mathematics” by N. Bourbaki. The files were originally written for Standard Coq; they are converted to ssreflect (version 1.3); the files have been compiled by Coq version 8.4.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Anacona, Maribel; Arboleda, Luis Carlos; Pérez-Fernández, F. Javier: On Bourbaki’s axiomatic system for set theory (2014)
- Horozal, Fulya; Rabe, Florian: Representing model theory in a type-theoretical logical framework (2011)
- Grimm, José: Implementation of Bourbaki’s Elements of Mathematics in Coq. I: Theory of sets (2010)