GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ bourbaki
Top 1 bourbaki open source projects
gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
✭ 15
Coq
coq
set-theory
ssreflect
mathcomp
docker-coq-action
bourbaki
1-1
of
1
bourbaki projects