WatsonTheoremProver
Last edit October 17, 2010
A
TheoremProvingSystem
based on
NewFoundations
SetTheory
, with implementations in
CommonLisp
and
SmlLanguage
.
See <
http://math.boisestate.edu/~holmes/proverpage.html
>.
CategoryMath