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 ML744 stars171 forks

higher-order-logiclambda-calculustheorem-proving

Rankings

Daily

#4548

Weekly

#6532

Monthly

#6794

Engagement

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/HOL-Theorem-Prover/HOL.svg)

HTML

<img src="https://trending-repos.com/badge/HOL-Theorem-Prover/HOL.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/HOL-Theorem-Prover/HOL.svg

Back to trending