raft的tla+

【toolbox】

https://github.com/jinlmsft/raft.tla

toolbox openspec

Raft_Term_Not_Persisted.tla

models界面运行unique_leader

https://www.youtube.com/watch?v=6Kwx8zfGW0Y

最后15分钟讲tla

【截图】