# jrh13/hol-light

<https://repo.masters-masters.com/en/repos/jrh13/hol-light>

[Home](https://repo.masters-masters.com/en) › [jrh13](https://repo.masters-masters.com/en/owners/jrh13) › [hol-light](https://repo.masters-masters.com/en/repos/jrh13/hol-light)

jrh13/hol-light has 563 stars on GitHub. Its RepoMasters card: Alpha tier. The HOL Light theorem prover Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [jrh13](https://repo.masters-masters.com/en/owners/jrh13) |
| Stars | 563 |
| Forks | 100 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | None |
| Created | 2015 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [jrh13/hol-light](https://github.com/jrh13/hol-light) |

## Repository

The HOL Light theorem prover

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in OCaml

- [mukul-rathi/bolt · ★ 605 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/mukul-rathi/bolt)
- [caffeinelabs/motoko · ★ 592 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/caffeinelabs/motoko)
- [0install/0install · ★ 583 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/0install/0install)
- [briskml/brisk · ★ 555 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/briskml/brisk)
- [mahsu/MariOCaml · ★ 543 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/mahsu/MariOCaml)
- [vult-dsp/vult · ★ 542 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/vult-dsp/vult)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.