[plt-scheme] Theorem Prover

From: Chongkai Zhu (czhu at cs.utah.edu)
Date: Wed Aug 1 08:39:11 EDT 2007


Erich Rast wrote:
> Is there a theorem prover for first-order predicate logic or normal 
> modal logics written in Scheme? If not, has perhaps someone written an 
> interface to access an existing theorem prover in MzScheme?

Posted on the users mailing list.