Giters
jrh13
Geek Repo
42
followers
0
following
0
stars
Github PK Tool:
Github PK Tool
jrh13's repositories
hol-light
The HOL Light theorem prover
Language:
OCaml
License:
NOASSERTION
Stargazers:
393
Issues:
26
Issues:
52