Make/Encode some basic logic puzzles
Primary LanguageLeanMIT LicenseMIT
No issues in this repository yet.