Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
HOL
Jump to user comments
Higher Order Logic. A proof-generating system for higherorder logic based on LCF. Implementations include HOL-88
and HOL-90.
. Mailing list:
info-hol@ted.cs.uidaho.edu.