All code examples from "The Little Prover" book - View it on GitHub