Packages
Elixir client for the Isabelle proof assistant
Current section
Activity
Jump to
Current section
Activity
| Date | Activity |
|---|---|
| Jul 20, 2026 | Publish documentation for release 0.4.1 |
| Jul 20, 2026 | Publish release 0.4.1 |
| Jun 25, 2026 | Publish documentation for release 0.4.0 |
| Jun 25, 2026 | Publish release 0.4.0 |
| May 30, 2026 | Publish documentation for release 0.3.0 |
| May 30, 2026 | Publish release 0.3.0 |
| May 05, 2026 | Publish documentation for release 0.2.0 |
| May 05, 2026 | Publish release 0.2.0 |
| May 15, 2025 | Publish documentation for release 0.1.0 |
| May 15, 2025 | Publish release 0.1.0 |
10
activities of
10
total
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
Downloads
Last 30 days,
all versions
this version
262
yesterday
0
last 7 days
6
all time
677
