g₅(13): Novel Lie algebra over ℤ[1/12] — rank-5 non-crystallographic extension of F4, 1245-dimensional, Jacobi verified over 52847 tests, zero sorry
mathematics formal-verification number-theory f4 lie-algebra root-system lean4 sovereign-stack computational-reflection
-
Updated
Aug 24, 2026 - Rust