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 18, 2026 Publish documentation for release 0.5.0
Apr 18, 2026 Publish release 0.5.0
Apr 17, 2026 Publish documentation for release 0.4.6
Apr 17, 2026 Publish release 0.4.6
Apr 14, 2026 Publish documentation for release 0.4.5
Apr 14, 2026 Publish release 0.4.5
Apr 14, 2026 Publish documentation for release 0.4.4
Apr 14, 2026 Publish release 0.4.4
Apr 14, 2026 Publish documentation for release 0.4.2
Apr 14, 2026 Publish release 0.4.2
Showing 1–10 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