Recording Proofs (1993)

Cached

Download Links

by Wai Wong
Venue:University of Cambridge Computer Laboratory, New Museums Site
Citations:1 - 1 self

Active Bibliography

2 An Embedding of Timed Transition Systems in HOL – Rachel Cardell-oliver, Roger Hale, John Herbert - 1993
10 Reasoning About the Reals: the marriage of HOL and Maple – John Harrison - 1993
Towards Veri ed Systems OVERVIEW – Jonathan Bowen (ed - 1993
15 Recording and Checking HOL Proofs – Wai Wong - 1995
5 A Proof Checker for HOL – Wai Wong - 1996