jrh13

Pinned Repositories

hol-light.github.io
Language:HTML1 3 02
hol-light
The HOL Light theorem prover
Language:OCaml474 24 5983

jrh13's Repositories

jrh13/hol-light
The HOL Light theorem prover
Language:OCaml474 24 5983