creelie/4Y-M
In Progress: One Cube Estimate Implies the Yang--Mills Mass Gap
GitHub repository with 7 stars and 2 forks.
Language: Lean
Topics: mathematical-physics, probability
In Progress: One Cube Estimate Implies the Yang--Mills Mass Gap
GitHub repository with 7 stars and 2 forks.
Language: Lean
Topics: mathematical-physics, probability
Trending score 0.23, freshness score 0.87, stars gained +0, forks gained +0.
2026-11-15: 7 stars and 2 forks.