Reservoir

tydeu/folktale

Knights and Knaves logic puzzles formalized in Lean 4.

GitHub Link Documentation

Pick a version!

TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.

README

Folktale

Knights and Knaves logic puzzles formalized in Lean 4. See the puzzles directory for examples.