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

No output #55

Closed jonaprieto closed 8 years ago

jonaprieto commented 8 years ago

I got

λ ~/apia/examples/ agda ATPDefinition.agda 
Checking ATPDefinition (/home/jonaprieto/apia/examples/ATPDefinition.agda).
Finished ATPDefinition.
λ ~/apia/examples/ apia ATPDefinition.agda
apia: At least you need to specify one valid ATP
λ ~/apia/examples/ apia ATPDefinition.agda --atp=e
λ ~/apia/examples/

There is not output message. I should have something, don't you think?

asr commented 8 years ago

No.

asr commented 8 years ago

You didn't get anything because the file has no conjectures.