#

three-distance-theorem

Here is 1 public repository matching this topic...

dkunert / three-gap-theorem-lean

A Lean 4 / Mathlib formalization of the three-gap (Steinhaus) theorem, uniform in the rotation number.

theorem-proving lean formalization formal-verification number-theory mathlib lean4 steinhaus three-gap-theorem three-distance-theorem

Updated Jul 5, 2026
Lean

Improve this page

Add a description, image, and links to the three-distance-theorem topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the three-distance-theorem topic, visit your repo's landing page and select "manage topics."