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
mix.exs
rebar.config
Gleam
erlang.mk
this version
12
yesterday
16
last 7 days
75
all time
158
Last Updated
Apr 18, 2026
License
MIT
Build Tools
Publisher
