DXsmiley/proof-engine

Automated proof program?

Proof Engine

A small program that can prove things about propositional logic statements.

References work:

• Designing a Theoreom Prover by Lawrence C Paulson
• Write You a Haskell by Stephen Diehl