Packages
Provides a Smart Cell for querying external provers on SystemOnTPTP.
Current section
Activity
Jump to
Current section
Activity
| Date | Activity |
|---|---|
| May 08, 2026 | Publish documentation for release 0.1.4 |
| May 08, 2026 | Publish release 0.1.4 |
| Apr 28, 2026 | Publish documentation for release 0.1.3 |
| Apr 28, 2026 | Publish release 0.1.3 |
| Apr 24, 2026 | Publish documentation for release 0.1.2 |
| Apr 24, 2026 | Publish release 0.1.2 |
| Apr 22, 2026 | Publish documentation for release 0.1.1 |
| Apr 22, 2026 | Publish release 0.1.1 |
| Apr 21, 2026 | Publish documentation for release 0.1.0 |
| Apr 21, 2026 | Publish release 0.1.0 |
| Apr 21, 2026 | Publish documentation for release 0.1.0 |
| Apr 21, 2026 | Publish release 0.1.0 |
12
activities of
12
total
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
Downloads
Last 30 days,
all versions
this version
21
yesterday
0
last 7 days
42
all time
131
