Negation world, level 6 typo - Githubissues

Trequetrum / lean4game-logic

Make/Encode some basic logic puzzles

MIT License

1 stars 3 forks source link

Negation world, level 6 typo #5

Closed JadAbouHawili closed 1 month ago