Folderol My little theorem prover. Based on the Designing a Theorem Prover paper by Lawrence C. Paulson. WIP.