search

jrh13 / hol-light

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

Removed compatibility lemmas from Multivarite/flyspeck.ml #35

Closed monadius closed 7 years ago

jrh13 commented 7 years ago

Thanks Alexey, now merged into the master branch.