ColinBundschu / mass-gap
git clone https://github.com/ColinBundschu/mass-gap.git
The mass gap over the compact simple groups
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
31
★ total
0
forks · 0 open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguageLean
LicenseApache-2.0
Created2026-08-19 (2mo ago)
Last push25d ago
OwnerUser
GitHub topics
constructive-mathematicsformal-verificationlattice-gauge-theorylean4lie-groupsmass-gapmathematical-physicsyang-mills