Packages

tlx

v0.5.0

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

Date Activity
Apr 01, 2026 Publish documentation for release 0.4.0
Apr 01, 2026 Publish release 0.4.0
Apr 01, 2026 Publish documentation for release 0.3.3
Apr 01, 2026 Publish release 0.3.3
Apr 01, 2026 Publish documentation for release 0.3.2
Apr 01, 2026 Publish release 0.3.2
Mar 31, 2026 Publish documentation for release 0.3.1
Mar 31, 2026 Publish release 0.3.1
Showing 11–18 activities of 18 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.5.0
0 20 40 60 80

this version

12

yesterday

16

last 7 days

75

all time

158

Last Updated

Apr 18, 2026

License

MIT

Build Tools

mix

Publisher

jrjsmrtn jrjsmrtn

Owners