Recording and Checking HOL Proofs (1995)

Cached

Download Links

by Wai Wong
Venue:Higher Order Logic Theorem Proving and Its Applications. 8th International Workshop, volume 971 of LNCS
Citations:15 - 1 self

Document Versions

Recording and Checking HOL Proofs –Wai Wong — 1995 — Higher Order Logic Theorem Proving and Its Applications. 8th International Workshop, volume 971 of LNCS