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

by J L Caldwell, J R Cowles
Venue:in Third International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2−2002