atp_client
Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and Isabelle servers.
Maintained on Hex by jcschuster
Latest version
0.6.2
Last run
17 days ago
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | atp_client-0.6.2-1789891557349 |
|
nerves_system_mangopi_mq_pro
0.17.2
|
pass | 26032411 | atp_client-0.6.2-1789891557349 |
|
nerves_system_rpi4
2.1.2
|
pass | 42358027 | atp_client-0.6.2-1789891557349 |
|
nerves_system_x86_64
1.34.2
|
pass | 29747329 | atp_client-0.6.2-1789891557349 |
Add this badge to your README
It updates itself as atp_client's compatibility is reassessed.
Markdown
HTML