bourbaki topic

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

coq-community