roglo / banach_tarskiLinks

Formal proof in Coq of Banach-Tarski paradox.
16Updated last month

Alternatives and similar repositories for banach_tarski

Users that are interested in banach_tarski are comparing it to the libraries listed below

Sorting: