HOL

https://www.wikidata.org/wiki/Q17030435

Field Hierarchy

Parent
Computer science 61.9M papers	Mathematics 21.8M papers	Programming language 7.6M papers	Geometry 6.3M papers
Current
HOL 2,407 papers
Child
Theorem Proving System 0 papers

Trends

Notes

History