FRAPPS: Framework for Resolution-based Automated Proof Procedures

Submitted by on Jul 09 2014 } Suggest Revision
By: Alan M. Frisch
Project: http://www.cs.cmu.edu/afs/cs/project/ai-...
From: CMU
Paper:
Resource Type:
Code
License:
Other/Unknown
Language:
Lisp
Data Format:

Description

FRAPPS (Framework for Resolution-based Automated Proof Procedures) is a portable resolution theorem-prover written in Common Lisp.
Categorized in: Representation and Reasoning | Automated Theorem Proving
Post comment
Cancel