mo271/Zeta5
GitHub repository with 27 stars and 3 forks.
Language: Lean
24h trend summary
Trending score 1.30, freshness score 0.92, stars gained +11, forks gained +0.
Latest metric snapshot
2026-09-24: 27 stars and 3 forks.
GitHub repository with 27 stars and 3 forks.
Language: Lean
Trending score 1.30, freshness score 0.92, stars gained +11, forks gained +0.
2026-09-24: 27 stars and 3 forks.