rocq-community / gaiaLinks

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
30Updated last month

Alternatives and similar repositories for gaia

Users that are interested in gaia are comparing it to the libraries listed below

Sorting: