Gitstar Ranking

Kuberwastaken / conway99-c3-orbit-restriction

Lean 4 formalization of the Conway 99-graph free-C3 triangular-orbit restriction - View it on GitHub
https://github.com/google-deepmind/formal-conjectures/blob/main/FormalConjectures/Wikipedia/Conway99Graph.lean
Star
0
Rank
14217029