Giters

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

replace all print outs with failure with `die`

jonaprieto opened this issue · comments

commented

Use Doc type for messages