search

jonaprieto / online-atps

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

Async the request to test atp against a problem #6

Open jonaprieto opened 8 years ago

jonaprieto commented 8 years ago

We want to catch the first positive answer given by atp from a list of atps. This should be done asyncronize.

jonaprieto commented 5 years ago

Considering in using this library async: https://haskell-lang.org/library/async