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

Missing test of the online ATPs #68

Closed asr closed 8 years ago

asr commented 8 years ago

What the title says.

asr commented 8 years ago

Closed by the above commit.