search

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
MIT License
6 stars 0 forks source link

E old version #61

Closed acallesalda closed 8 years ago

acallesalda commented 8 years ago

The apia.readme links to the old version of the E prover (http://www4.informatik.tu-muenchen.de/~schulz/E/Download.html). This is the new version (http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html).

asr commented 8 years ago

Thanks, I updated the url.