← All repos

jrh13/hol-light

View on GitHub ↗ ★ 569 OCaml

The HOL Light theorem prover

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2021-07-18 · latest 2026-08-05