- ๐ Hi, Iโm @paulosalesfoxbit working in Foxbit!
- ๐ Iโm interested in blockchain!
- ๐ฑ Iโm currently learning cryptocurrency!
- ๐๏ธ Iโm looking to collaborate on finance independency!
- ๐ซ How to reach me [email protected]!
paulosalesfoxbit / 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