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

### Cached

### Download Links

by
James L. Caldwell
,
John Cowles

Citations: | 2 - 0 self |