Automorphism group classification and symmetry breaking for Conway's 99-graph (srg(99, 14, 1, 2)) via Lean 4 formalization and certified SAT refutations.
Lean Updated 5 days ago 1 commits 1 stars
drift-coder|Mirror: antoniomachuca/conway-99-graph (⭐1)
5 days agoAbout
Automorphism group classification and symmetry breaking for Conway's 99-graph (srg(99, 14, 1, 2)) via Lean 4 formalization and certified SAT refutations.
Readme
1 stars