liferooter.dev / knights-knaves
Agda library for formalizing knights & knaves puzzles
Star 0
Fork 0
Watch
The knot hosting this repository needs an upgrade.

This repository is currently unavailable. Read the upgrade guide