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

9 Versions

Jump to

Versions

April 18, 2026

April 17, 2026

April 14, 2026

April 14, 2026

April 14, 2026

April 01, 2026

April 01, 2026

April 01, 2026

March 31, 2026

9 versions of 9 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 10 20 30 40

this version

35

yesterday

6

last 7 days

30

all time

219

Last Updated

Apr 18, 2026

License

MIT

Build Tools

mix

Publisher

jrjsmrtn jrjsmrtn

Owners