HOL-Theorem-Prover/HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Standard ML771 stars182 forks

higher-order-logic lambda-calculus theorem-proving

Momentum

HOL-Theorem-Prover/HOL has 771 GitHub stars. It gained +3 stars over 3 recorded days in the last 30 days (snapshots through Nov 10, 2026).

Its biggest recent day was Oct 30, 2026, with +2 stars.

It currently ranks #4827 daily, #4824 weekly, #5206 monthly by momentum on Trending Repos; its best-ever rank is #188.

Trending Repos first recorded it on May 15, 2026.

Rankings

PeriodRankScore

Daily

#48270.3

Weekly

#48240.4

Monthly

#52060.6

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #188

Format

Markdown

[![HOL-Theorem-Prover/HOL badge](https://trending-repos.com/badge/HOL-Theorem-Prover/HOL.svg?v=3)](https://trending-repos.com/repositories/HOL-Theorem-Prover/HOL?utm_source=github&utm_medium=badge)

Date	Stars gained	Total stars
Oct 30, 2026	+2	766
Oct 26, 2026	+1	764
Oct 13, 2026	0	763

HOL-Theorem-Prover/HOL

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

HOL-Theorem-Prover/HOL

Momentum

Rankings

Engagement

Similar trending repositories

Embeds