--async - Githubissues

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

We need to have available the option to request ATPs synchronize or not.

jonaprieto commented 7 years ago

Repeted issue topic.