search

jrh13 / hol-light

The HOL Light theorem prover
Other
435 stars 79 forks source link

ProofTrace: add copyright and fix README typos #51

Closed spolu closed 5 years ago

spolu commented 5 years ago

Follow-up to https://github.com/jrh13/hol-light/pull/49