rkirov/jordan_pick
Lean formalization of Pick's theorem, Jordan Curve theorem, and Rado's theorem
GitHub repository with 6 stars and 1 forks.
Language: Lean
Topics: formal-math, geometry, lean4, math, mathematics
24h trend summary
Trending score 0.09, freshness score 0.80, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 6 stars and 1 forks.