hol-88
hol-88
in Technology
An implementation of
HOL
built on
ML
by Mike Gordon
mjcg@cl.cam.ac.uk
.