Pricing
HOL4 pricing
As hol-theorem-prover.org lists them, read 8 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| HOL4 | Free software under the Modified (3-clause) BSD licence | Free |
From hol-theorem-prover.org.
Pricing
As hol-theorem-prover.org lists them, read 8 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| HOL4 | Free software under the Modified (3-clause) BSD licence | Free |
From hol-theorem-prover.org.