tla-rust
TLA
★ 1.1k
updated 9y ago
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
No plain-English explanation yet — one is being written right now. Check back in a minute.