This is a clojure library to check proofs as given in The Little Prover. It is written (as yet) without reference to included J-Bob proof assistant. (I have a hunch my implementation has similarities, but I'll check it later)
I believe it currently works through Chapter 2.
FIXME
Copyright © 2016 FIXME
Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.