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