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

Activity

Jump to
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
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
18 activities of 18 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