HOL88 proof assistant
Repository URI
Repository DOI
Change log
Authors
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
Publisher
Rights and licensing
No known restrictions on use