search

jonaprieto / online-atps

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

[ options ] added a myriad of options #38

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

This closes #28, #27, #26