pkrumins/the-little-prover

All code examples from "The Little Prover" book

Scheme