search

JacquesCarette / hol-light-qe

The HOL Light theorem prover (moved from Google code)
Other
7 stars 1 forks source link

Create eps_additon.ml #32

Closed sjjs7 closed 4 years ago

sjjs7 commented 4 years ago

Finished proof (final theorem begins line 1732). Not ready to commit yet...just for reference.