MichaelStollBayreuth/Heights
An attempt at formalizing the theory of heights in Lean
GitHub repository with 5 stars and 0 forks.
Language: Lean
Topics: lean4
Latest metric snapshot
2026-06-15: 5 stars and 0 forks.
An attempt at formalizing the theory of heights in Lean
GitHub repository with 5 stars and 0 forks.
Language: Lean
Topics: lean4
2026-06-15: 5 stars and 0 forks.