Vuenc/Conways-Soldiers-Isabelle
Formalized John Conway's proof that the Conway's Soldiers/Leaping Frog game cannot be won in the Isabelle proof assistant.
Isabelle
No issues in this repository yet.
Formalized John Conway's proof that the Conway's Soldiers/Leaping Frog game cannot be won in the Isabelle proof assistant.
Isabelle
No issues in this repository yet.