yang-mills-group/YM
GitHub repository with 66 stars and 12 forks.
Language: Lean
24h trend summary
Trending score 1.12, freshness score 0.44, stars gained +9, forks gained +2.
Latest metric snapshot
2026-11-15: 66 stars and 12 forks.
GitHub repository with 66 stars and 12 forks.
Language: Lean
Trending score 1.12, freshness score 0.44, stars gained +9, forks gained +2.
2026-11-15: 66 stars and 12 forks.