Hybrid interactive theorem proving using nuprl and HOL
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 351-365
- https://doi.org/10.1007/3-540-63104-6_34
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- A Proof of Strong Normalization for F2, Fω, and BeyondInformation and Computation, 1995
- IsabellePublished by Springer Nature ,1994
- Edinburgh LCFLecture Notes in Computer Science, 1979