HOL Light
HOL Light is a computer program to help users prove interesting mathematical
Proof assistant · cl.cam.ac.uk
Open HOL Light in AirStackWhat HOL Light’s own pages say
| What it says it does | HOL Light is a computer program to help users prove interesting mathematical cl.cam.ac.uk |
|---|---|
| Open source | Yes cl.cam.ac.uk |
Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.