Owner · jrh13

jrh13

jrh13's tracked open-source repos, sorted by stars.

1 repos

#1
hol-light ↗@jrh13OCaml
The HOL Light theorem prover
★ 550+0Star change over the last 7 days