jrh13 / hol-light

git clone https://github.com/jrh13/hol-light.git

The HOL Light theorem prover

stars, 24h · #37,594

+~0

stars, 7 days · #37,668

+~0

stars, 30 days · #37,806

561

★ total

100

forks · 44 open issues

2026-10-20 · 560 ★ 2026-10-22 · 561 ★

LanguageOCaml

License—

Created2015-10-19 (11y ago)

Last push2d ago

OwnerUser