v0.1.0
Model-based testing with Apalache TLA+ model checker for Elixir.
mix.exs
rebar.config
Gleam
erlang.mk
this version
28
yesterday
0
last 7 days
all time
Last Updated
Mar 07, 2026
License
MIT
Build Tools
Publisher
