tlx
A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC model checking, refinement, and an AI-assisted formal specification workflow
Ecosystem
hex.pm
hex.pm
Latest Release
about 1 month ago
0.5.0
about 1 month ago
Versions
9
9
Downloads
231 total
231 total
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hex.pm |
| Source | Repository |
| Homepage | Homepage |
| Docs | Documentation |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hex/tlx
spec |
| License | Other |
| First Release | about 2 months ago |
| Last Synced | 4 days ago |
Repository
| Stars | 8 on GitHub |
| Forks | 0 on GitHub |