Formal proof in Coq of Banach-Tarski paradox.
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.