My solutions to the Lean 4 Natural Number Game
Primary LanguageLean
No issues in this repository yet.