Representing Nuprl Proof Objects in ACL2: toward a proof checker for Nuprl (2002)

by James L. Caldwell , John Cowles
Citations:2 - 0 self