nixpkgs / coqPackages.gaia - Implementation of books from Bourbaki's Elements of Mathematics in Coq

Homepage - https://github.com/coq-community/gaia

License - MIT

Maintainers - Théo Zimmermann

Releases

1.13 (expand/collapse)
From commit 00460bd6 to 00460bd6
1.12 (expand/collapse)
From commit 039e3758 to 039e3758
1.13 (expand/collapse)
From commit 00af64ce to 021410c0
1.12 (expand/collapse)
From commit 04e6b03f to 00f7e1e8