search

jonaprieto / online-atps

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

--recommend-systems #24

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

This was implemented using --action=RecomemendSystems. See 957bceecd835863bed7e5f790ade012cba73c593.