HOL-90

Search:

HOL-90

An implementation of HOL built on SML/NJ by Brian Graham . Runs on Sun-4.

(ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z). Mailing list: info-hol@clover.ucdavis.edu.