Hol-theorem-prover.org
Visit hol-theorem-prover.orgWe collected one metadata history record for Hol-theorem-prover.org. HOL Theorem Prover has a poor description which rather negatively influences the efficiency of search engines index and hence worsens positions of the domain.
Hol-theorem-prover.org metadata updates
| Title | Description | Keywords |
|---|---|---|
|
October 24, 2019 HOL Interactive Theorem Prover |