GitHub repository: rocq-community/gaia
Primary language: Coq
Description: Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]