Results 1 -
2 of
2
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 |
