Sign in Sign up
cargo

tla-checker

A TLA+ model checker written in Rust

cargo View on Cargo

Activity

Latest release
1d ago
Total releases
77
Cadence
~daily
Last 12 months
77

Reach

Downloads
3.0k

Details

License
MIT OR Apache-2.0
First release
Feb 05, 2026
Releases
Version Released
0.24.11 patch
0.24.10 patch
0.24.9 patch
0.24.8 patch
0.24.7 patch
0.24.6 patch
0.24.5 patch
0.24.4 patch
0.24.3 patch
0.24.2 patch
0.24.1 patch
0.24.0 minor
0.23.3 patch
0.23.2 patch
0.23.1 patch
0.23.0 minor
0.22.1 patch
0.22.0 minor
0.21.3 patch
0.21.2 patch
0.21.1 patch
0.21.0 minor
0.20.0 minor
0.19.0 minor
0.18.1 patch
0.18.0 minor
0.17.2 patch
0.17.1 patch
0.17.0 minor
0.16.0 minor
0.15.1 patch
0.15.0 minor
0.14.0 minor
0.13.0 minor
0.12.1 patch
0.12.0 minor
0.11.1 patch
0.11.0 minor
0.10.2 patch
0.10.1 patch
0.10.0 minor
0.9.9 patch
0.9.8 patch
0.9.7 patch
0.9.6 patch
0.9.5 patch
0.9.4 patch
0.9.2 patch
0.9.0 minor
0.6.11 unknown
1–50 of 77