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

Changelog

Jump to
Loading Changelog...

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.4.2
0 1 2 3 4

this version

60

yesterday

0

last 7 days

28

all time

919

Last Updated

Apr 14, 2026

License

MIT

Build Tools

mix

Publisher

jrjsmrtn jrjsmrtn

Owners