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

Open provider repository

24h trend summary

Trending score 0.23, freshness score 0.87, stars gained +0, forks gained +0.

Latest metric snapshot

2026-11-15: 7 stars and 2 forks.