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
Jul 25, 2026 Publish documentation for release 0.5.3
Jul 25, 2026 Publish release 0.5.3
Jul 25, 2026 Publish documentation for release 0.5.2
Jul 25, 2026 Publish release 0.5.2
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
22 activities of 22 total

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