HOL88 proof assistant
MetadataShow full item record
Gordon, M., & Paulson, L. (2017). HOL88 proof assistant [Software]. https://doi.org/10.17863/CAM.10246
Lisp implementation of the HOL88 proof assistant written by Robin Milner, Chris Wadsworth, Lockwood Morris, Malcolm Newey, Michael Gordon, Lawrence Paulson and many others.
HOL, HOL88, proof assistant
This record's DOI: https://doi.org/10.17863/CAM.10246
No known restrictions on use, No known restrictions on use, No known restrictions on use, No known restrictions on use