The ATPs defined in the .onlineatps file doesn't have effect

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

MIT License

6 stars 1 forks source link

Closed jonaprieto closed 7 years ago

jonaprieto commented 8 years ago

After read .onlineatps , fill the record ATP with the keys of ATPs that it found in that file.

jonaprieto commented 7 years ago

The .online-atps files are not supported well by now, may be in the future.