jrjsmrtn
Total Packages
1
Total Downloads
158+
A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC model checking, refinement, and an AI-assisted formal specification workflow
