Prover Authors:Dan DaCosta A toy LCF-style prover. Example Use cd src ocaml -init prover Then at the ocaml prompt: #use "proofs.ml";;