tlx

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

Online Documentation

Readme 2 Dependencies 0 Dependants Activity Versions

Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 0.3.1

this version

0

yesterday

0

last 7 days

0

all time

0

Last Updated

Mar 31, 2026

License

MIT

Build Tools

mix

Publisher

Links

Owners

jrjsmrtn