Sign in Sign up
cargo

tla-checker

A TLA+ model checker written in Rust

cargo View on Cargo

Activity

Latest release
1w ago
Total releases
29
Cadence
~daily
Last 12 months
29

Reach

Downloads
1.8k

Details

License
MIT OR Apache-2.0
First release
Feb 05, 2026
Releases
Version Released
0.9.0 minor
0.6.11 unknown
0.6.10 unknown
0.6.7 unknown
0.6.6 unknown
0.6.5 unknown
0.6.3 unknown
0.6.1 unknown
0.6.0 unknown
0.5.5 unknown
0.5.4 unknown
0.5.3 unknown
0.5.2 unknown
0.5.1 unknown
0.4.3 unknown
0.4.2 unknown
0.4.1 unknown
0.3.11 unknown
0.3.9 unknown
0.3.7 unknown
0.3.6 unknown
0.3.4 unknown
0.3.3 unknown
0.3.2 unknown
0.3.1 unknown
0.3.0 unknown
0.2.0 unknown
0.1.1 unknown
0.1.0 unknown