A TheoremProvingSystem based on NewFoundations SetTheory, with implementations in CommonLisp and SmlLanguage.
See <http://math.boisestate.edu/~holmes/proverpage.html>.
Watson Theorem Prover
last modified: October 17, 2010
A TheoremProvingSystem based on NewFoundations SetTheory, with implementations in CommonLisp and SmlLanguage.
See <http://math.boisestate.edu/~holmes/proverpage.html>.