/examples/
../
the-little-prover.scm