search

JacquesCarette / hol-light-qe

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

Sixth #23

Closed sjjs7 closed 4 years ago

sjjs7 commented 4 years ago

Just running holtest now- will let you know.

sjjs7 commented 4 years ago

Good to go- and that should be it for now.