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

Apia doesn't know how to erase proof terms in the definitions #81

Open asr opened 7 years ago

asr commented 7 years ago

Blocking #4.

asr commented 7 years ago

Blocking #78.