Missing support for E 1.9.1-001 Sungma

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

Closed asr closed 8 years ago

asr commented 8 years ago

Travis reported this error because E 1.9.1-001 Sungma is not supported.