Score5.9
Rank#12 of 33
Free planNo
Runs onWindows, Linux
Summary
HOL4 is ranked #12 of 33 in formal verification tools on Samsung Mobile US Press. It runs on Windows, Linux.
Compared on formal verification tools
- Free plan
- Yeshol-theorem-prover.org
- Supported formalisms
- theorem-provinghol-theorem-prover.org
- Counterexamples
- Yeshol-theorem-prover.org
- Proof artifacts
- Yeshol-theorem-prover.org
- Input languages
- HOL higher-order logic; Standard MLhol-theorem-prover.org
- Deployment
- self-hostedhol-theorem-prover.org
Best HOL4 alternatives
See all 12
Where it ranks on Samsung Mobile US Press
Is HOL4 yours?
Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.