search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

[ travis-ci ] testing with ghc-8.4.2 #49

Closed jonaprieto closed 6 years ago