esht_cif@uhura.cc.rochester.edu (Eran) (09/28/90)
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