search

raft / raft.github.io

website at https://raft.github.io
1.37k stars 213 forks source link

Add Tarantool and mention a TLA+ spec #204

Closed ligurio closed 3 months ago

ligurio commented 3 months ago

@ongardie Diego, could you take a look?

ongardie commented 3 months ago

Thanks @ligurio. I merged it with some changes.