Packages

A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC model checking, refinement, and an AI-assisted formal specification workflow

Current section

0 Dependants

Jump to

Packages depending on tlx

0 packages

No packages depend on tlx yet.

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

46

yesterday

19

last 7 days

201

all time

680

Last Updated

Jul 25, 2026

License

MIT

Build Tools

mix

Publisher

jrjsmrtn jrjsmrtn

Owners