Path: utzoo!attcan!uunet!zephyr.ens.tek.com!uw-beaver!mit-eddie!wuarchive!udel!rochester!uhura.cc.rochester.edu!esht_cif
From: esht_cif@uhura.cc.rochester.edu (Eran)
Newsgroups: comp.sys.mac.wanted
Subject: Logic Program
Message-ID: <9648@ur-cc.UUCP>
Date: 28 Sep 90 02:46:14 GMT
Organization: University of Rochester, Rochester NY
Lines: 10


Logic Program:

Does anyone out there know of any programs for the mac that can help
with logical proofs-ie. let the user type in the proof, check if they
are valid and then output the proof.  I have heard about a program
like this for the IBM PC but not for the mac.

Eran Shtiegman
Please reply to esht_cif@uhura.cc.rochester.edu