issues
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
The repository of onlineatps has changed the name
#74
Closed
jonaprieto
closed
7 years ago
asr
commented
7 years ago
Also change the name of the repo in the README, please.
Also change the name of the repo in the README, please.