tla-rust
tla-rust copied to clipboard
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Results
1
tla-rust issues
Sort by
recently updated
recently updated
newest added
the ideas behind this is wonderful! but any progress? the last update was 3 years ago 😭 (I really hope I can get TLA+ checking on my rust code)