AxiomMath/Weil
A Lean 4 formalization of the proof of the Weil conjectures
GitHub repository with 19 stars and 2 forks.
Language: Lean
24h trend summary
Trending score 0.65, freshness score 0.00, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 19 stars and 2 forks.