Giters

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

--output-dir

jonaprieto opened this issue · comments

commented

send all output to text files in a directory