jrh13

Results 1 repositories owned by jrh13

hol-light

317
Stars
64
Forks
Watchers

The HOL Light theorem prover

verified publisher icon jrh13