Missing test case for the error "at least you need to specified one ATP"

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

Closed asr closed 8 years ago

asr commented 8 years ago

CC'ing @jonaprieto.

jonaprieto commented 8 years ago

Can you describe more about this error? I mean how is supposed to be the test case.

asr commented 8 years ago

Thanks for fixing the issue.

asr commented 8 years ago

@jonaprieto I assigned you this issue.