Something went wrong. Try again.
Agda library for formalizing knights & knaves puzzles
Something went wrong. Try again.
This repository hasn't been mirrored yet. Its content will appear here once it syncs.
This repository hasn't been mirrored yet. Its content will appear here once it syncs.