Popular repositories Loading

1. gitTest gitTest Public

   this is a test of the github

   1

2. UppMatheDku UppMatheDku Public

3. submit50 submit50 Public

   problem_set_0

4. three-gap-theorem-lean three-gap-theorem-lean Public

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

   Lean

5. cut-and-project cut-and-project Public

   Lean