ProofPower and its use at RBJones.com
Overview
ProofPower
Strong Infinity Axioms
GST in HOL
A theory of fixed points
Well-Foundedness and Recursion
Analyticity and Deduction
up HOME © RBJ V