schutten@prls.UUCP (Rindert Schutten) (04/29/88)
I am interested in Common Lisp programs supporting FORMAL REASONING. The programs I have in mind perform a form of Automatic or Interactive theorem proving. Their application domain can range from general purpose, to rather specific areas in the hardware or software design field. Please provide in your response a short description of your program and its availability. I will post an overview of all responses on the net. Pleas e-mail your respons to: {pyramid, philabs}!prls!schutten Rindert Schutten Philips Research Laboratories Sunnyvale