Make/Encode some basic logic puzzles
Primary LanguageLeanMIT LicenseMIT
No one’s star this repository yet.