Type Theory and Mathematics > Gaia

Implementation of books from Bourbaki's Elements of Mathematics, including set theory and number theory.