Packages

tla_connect

v0.1.0

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

HexDocs HexPreview

Current section

Activity

Jump to
Readme
1 Version
2 Dependencies
0 Dependants
Activity
Date Activity
Mar 07, 2026 Publish documentation for release 0.1.0
Mar 07, 2026 Publish release 0.1.0
2 activities of 2 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 20 40 60 80

this version

29

yesterday

0

last 7 days

1

all time

29

Last Updated

Mar 07, 2026

License

MIT

Build Tools

mix

Publisher

0kenx 0kenx

Links

Owners