HOL88 proof assistant
Repository URI
Repository DOI
Change log
Authors
Gordon, MJC
Paulson, LC
Description
Lisp implementation of the HOL88 proof assistant written by Robin Milner, Chris Wadsworth, Lockwood Morris, Malcolm Newey, Michael Gordon, Lawrence Paulson and many others.
Version
Software / Usage instructions
Keywords
HOL, HOL88, proof assistant
Publisher
Rights
No known restrictions on use