Elixir client for automated theorem provers via SystemOnTPTP, StarExec, Isabelle servers and local binaries, on the tptp library.
Current section
22 Versions
Jump to
Current section
22 Versions
Versions
Compare versionsOctober 15, 2026
October 15, 2026
October 13, 2026
October 12, 2026
October 12, 2026
July 20, 2026
July 20, 2026
July 15, 2026
July 01, 2026
June 29, 2026
June 26, 2026
June 11, 2026
June 08, 2026
May 08, 2026
April 28, 2026
April 26, 2026
April 25, 2026
April 25, 2026
April 24, 2026
April 21, 2026
April 21, 2026
April 21, 2026
| Version | Publish Date | Note | Actions |
|---|---|---|---|
| 0.8.1 | October 15, 2026 |
|
|
| 0.8.0 | October 15, 2026 |
|
|
| 0.7.2 | October 13, 2026 |
|
|
| 0.7.1 | October 12, 2026 |
|
|
| 0.7.0 | October 12, 2026 |
|
|
| 0.6.2 | July 20, 2026 |
|
|
| 0.6.1 | July 20, 2026 |
|
|
| 0.6.0 | July 15, 2026 |
|
|
| 0.5.0 | July 01, 2026 |
|
|
| 0.4.0 | June 29, 2026 |
|
|
| 0.3.0 | June 26, 2026 |
|
|
| 0.2.2 | June 11, 2026 |
|
|
| 0.2.1 | June 08, 2026 |
|
|
| 0.2.0 | May 08, 2026 |
|
|
| 0.1.7 | April 28, 2026 |
|
|
| 0.1.6 | April 26, 2026 |
|
|
| 0.1.5 | April 25, 2026 |
|
|
| 0.1.4 | April 25, 2026 |
|
|
| 0.1.3 | April 24, 2026 |
|
|
| 0.1.2 | April 21, 2026 |
|
|
| 0.1.1 | April 21, 2026 |
|
|
| 0.1.0 | April 21, 2026 |
|
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
this version
28
yesterday
95
last 7 days
250
all time
1 651
