HOL-88

HOL-88

An implementation of HOL built on ML by Mike Gordon <mjcg@cl.cam.ac.uk>.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?