This is your work, valued

jrh13

Expert
@jrh13

hol-light. The HOL Light theorem prover

547