English Computing Dictionary
▪ hog
▪ hol
▪ hol-88
▪ hol-90
▪ hol-unity
◊ HOL-88
HOL-88
An implementation of {HOL} built on {ML} by Mike Gordon
.
hog
hol
hol-88
hol-90
hol-unity
Copyright © 2022 NeoDict.Com. All rights reserved. Email:
mailto:
[email protected]