tlx

0.4.4

0.5.0 0.4.6 0.4.5 0.4.4 0.4.2 0.4.0 0.3.3 0.3.2 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

HexDocs HexPreview

Current section

2 Dependencies

Jump to

Readme 9 Versions 2 Dependencies 0 Dependants Activity

Dependencies of tlx

2 dependencies

Package	Requirement
nimble_parsec	~> 1.4
spark	~> 2.6

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

20

yesterday

6

last 7 days

30

all time

219

Last Updated

Apr 14, 2026

License

MIT

Build Tools

mix

Publisher

Links

Owners

jrjsmrtn