GitPlanet
All Git Users → roglo

1 open source projects by roglo

[ Open user page on Github ]
1. banach tarski
Formal proof in Coq of Banach-Tarski paradox.
✭ 15
Coq
1-1 of 1 user projects