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

Issue89 #90

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

See #89.

asr commented 7 years ago

Thanks! Please squash and merge, and delete the branch.