AxiomMath/Stacks
A Lean formalization of the Stacks Project
GitHub repository with 137 stars and 28 forks.
Language: Lean
24h trend summary
Trending score 1.50, freshness score 0.43, stars gained +2, forks gained +1.
Latest metric snapshot
2026-11-15: 137 stars and 28 forks.