FRAPPS

FRAPPS stands for 'Framework for Resolution-based Automated Proof Procedures', is a portable resolution theorem-prover.

FRAPPS may be found here in the CMU AI Repository. It is available for free for non-commercial uses, which makes it non-free according to the DFSG.

Application Theorem Provers

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively