[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


We're getting ready to distribute a Common Lisp version of Moore's and
my theorem proving program.  Would anyone out there care to be a
guinea pig and help debug the ftp and installation instructions?  The
prover definitely runs in KCL, so I don't expect any problems other
than with the clarity of the instructions.  (As an incentive, I'll
offer a copy of the extremely comprehensive user's manual that Moore
has produced.)