search

Trequetrum / lean4game-logic

Make/Encode some basic logic puzzles
MIT License
3 stars 7 forks source link

typo #6

Closed JadAbouHawili closed 4 months ago