Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

jrh13/hol-light

The HOL Light theorem prover

Owner: jrh13 (personal account)
Stars: Stars: 563
Forks: Forks: 100
Language: OCaml
License: None
Created: 2015
Tier: Alpha (250 to 699 ★) What this tier means

Nearby in OCaml

All OCaml repos

mukul-rathi/boltStars: 605OCamlAlpha
caffeinelabs/motokoStars: 592OCamlAlpha
0install/0installStars: 583OCamlAlpha
briskml/briskStars: 555OCamlAlpha
mahsu/MariOCamlStars: 543OCamlAlpha
vult-dsp/vultStars: 542OCamlAlpha