A brief overview of HOL4
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of The 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008)
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description