Packages

Model-based testing with Apalache TLA+ model checker for Elixir.

Current section

0 Dependants

Jump to

Packages depending on tla_connect

0 packages

No packages depend on tla_connect yet.

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 1 2 3 4

this version

42

yesterday

0

last 7 days

2

all time

42

Last Updated

Mar 07, 2026

License

MIT

Build Tools

mix

Publisher

0kenx 0kenx

Links

Owners