A TheoremProvingSystem based on NewFoundations SetTheory, with implementations in CommonLisp and SmlLanguage.

See <http://math.boisestate.edu/~holmes/proverpage.html>.

----
CategoryMath