edoput/lcf-prover

silly automated prover for minimal propositional logic

OCaml