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

Bad translation of the logical schema #8

Closed asr closed 8 years ago

asr commented 8 years ago

From @asr on February 24, 2013 22:1

See https://github.com/asr/agda2atp/blob/master/issues/Issue8.agda.

asr commented 8 years ago

Fixed by 4d0c362.