## Importing mathematics from hol into Nuprl (1996)

### Cached

### Download Links

- [www.nuprl.org]
- [ftp.research.bell-labs.com]
- DBLP

### Other Repositories/Bibliography

by
Douglas J. Howe

Venue: | Theorem Proving in Higher Order Logics (TPHOLs 1996), volume 1125 of LNCS |

Citations: | 27 - 2 self |