isabelle_elixir

0.2.0

Elixir client for the Isabelle proof assistant

HexDocs HexPreview

Current section

1 Dependant

Jump to

Readme 2 Versions 0 Dependencies 1 Dependant Activity

Packages depending on isabelle_elixir

1 package

atp_client v0.2.0

Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and Isabelle servers.

Published 2 weeks ago

233

recent downloads

total downloads: 233

1 package of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

29

yesterday

0

last 7 days

35

all time

141

Last Updated

May 05, 2026

License

MIT

Build Tools

mix

Publisher

Links

Owners

davfuenmayor