liferooter.dev / knights-knaves
Agda library for formalizing knights & knaves puzzles
Star
Fork 0
Watch
All Push Pull
No pipelines match your search.