Watson Theorem Prover
Watson Theorem ProverA TheoremProvingSystem based on NewFoundations SetTheory, with implementations in CommonLisp and SmlLanguage.
See <http://math.boisestate.edu/~holmes/proverpage.html>.
EditText of this page
(last edited October 17, 2010)
or FindPage with title or text search