roglo/banach_tarski roglo/banach_tarski

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language Coq
  • License
    Other
  • Created almost 8 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
roglo/banach_tarski
github

roglo

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formal proof in Coq of Banach-Tarski paradox.

More Repositories

1

coq_real

Real Numbers using LPO
Coq
8
star
2

mlrogue

Rogue written in OCaml
OCaml
7
star
3

cauchy_schwarz

Formal proof in Coq of Cauchy Schwarz Inequality
Coq
6
star
4

puiseuxth

Formal proof in Coq of Puiseux's Theorem.
Coq
4
star
5

coq_sensitivity

Sensitivity Conjecture in Coq
Coq
2
star
6

coq_homol_algeb

Homologic Algebra in Coq
Coq
1
star