- ๐ Hi, Iโm @vdt
- ๐ Iโm interested in ...
- ๐ฑ Iโm currently learning ...
- ๐๏ธ Iโm looking to collaborate on ...
- ๐ซ How to reach me ...
vdt / raft.tla Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ongardie/raft.tla
TLA+ specification for the Raft consensus algorithm