Old Web
English
Sign In
Acemap
>
Field
>
HOL
HOL
Hol or HOL may refer to: Hol or HOL may refer to:
[ "Algorithm", "Theoretical computer science", "Programming language", "Automated theorem proving", "Geometry", "Theorem Proving System", "Head-of-line blocking" ]
Parent Topic
Child Topic
No Parent Topic