g₅(13): Novel Lie algebra over ℤ[1/12] — rank-5 non-crystallographic extension of F4, 1245-dimensional, Jacobi verified over 52847 tests, zero sorry
mathematicsformal-verificationnumber-theoryf4lie-algebraroot-systemlean4sovereign-stackcomputational-reflection
-
Updated
Aug 24, 2026 - Rust