- ๐ Hi, Iโm @vdt
- ๐ Iโm interested in ...
- ๐ฑ Iโm currently learning ...
- ๐๏ธ Iโm looking to collaborate on ...
- ๐ซ How to reach me ...
vdt / tla-rust Goto Github PK
View Code? Open in Web Editor NEWThis project forked from spacejam/tla-rust
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+