v 0.3.1
A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC model checking, refinement, and an AI-assisted formal specification workflow
No packages depend on tlx yet.
mix.exs
rebar.config
erlang.mk
this version
0
yesterday
last 7 days
all time
Last Updated
Mar 31, 2026
License
MIT
Build Tools
Publisher
