Gitstar Ranking

Kuberwastaken / wowii-63-85-counterexample

Lean 4 certificates for C5[K4] counterexamples to WOWII Graph Conjectures 63 and 85 - View it on GitHub
https://github.com/google-deepmind/formal-conjectures/issues/4590
Star
0
Rank
14217029