Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Keyword: three gap theorem
ThreeGap
: A Proof of the Three Gap Theorem (Steinhaus Conjecture)
Micaela Mayero