search

jonaprieto / online-atps

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

--system-info about the atp #26

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

Closed 376608a3edf9713058e8d9b632d41fafe7c16fac