Saturday, October 24, 2026 4,350 lists 78,096 records on file
List your app or device
MOBILE US PRESSTECH, ON THE RECORD.
AppsAIDevicesGalaxyChipsCompareStories Every list
  1. Home
  2. HOL4
  3. Pricing
Pricing · 2026

HOL4 pricing

1 plan on the record · a free plan

See today's prices

Every plan

HOL4

Free

Free software under the Modified (3-clause) BSD licence

Read 8 Oct 2026 · hol-theorem-prover.org