Sciweavers

Share
TPHOL
2008
IEEE
10 years 2 months ago
A Brief Overview of HOL4
The HOL4 proof assistant supports speciļ¬cation and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
Konrad Slind, Michael Norrish
books