Robert,
I have been working to develop a theorem prover in Maxima based on old Lisp
codes. I'd be happy to help in boolsimp - it would help me to understand
the "maxima way".
--
D. E. (Steve) Stevenson
(Almost emeritus) Associate Professor
Director, Institute for Modeling and Simulation Applications.
Clemson University
steve at clemson dot edu
Anyone who has ever looked into the glazed eyes of a soldier dying on the
battlefield will think hard before starting a war. -Otto von Bismarck,
statesman (1815-1898)