/Conways-Soldiers-Isabelle

Formalized John Conway's proof that the Conway's Soldiers/Leaping Frog game cannot be won in the Isabelle proof assistant.

Primary LanguageIsabelle

No issues in this repository yet.