hol-88
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of hol-88 word
- noun Technical meaning of hol-88 An implementation of HOL built on ML by Mike Gordon <[email protected]>. 1
Information block about the term
Parts of speech for Hol-88
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?