GitHub repository: roglo/banach_tarski
Primary language: Coq
Created: 2017-01-04T14:35:27Z
Description: Formal proof in Coq of Banach-Tarski paradox (in development)