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

Wrong ATP pragma line number in the generated TPTP files #17

Closed asr closed 8 years ago

asr commented 8 years ago

From @asr on June 18, 2015 17:24

asr commented 8 years ago

Fixed by https://github.com/asr/apia/commit/79efd8cd735af547b5a7274f9a07f7edca54af54.