liferooter.dev / knights-knaves
Agda library for formalizing knights & knaves puzzles
Star
Fork 0
Watch
Open Merged Closed
New
No PRs yet.