Hacker News Reader

I don't believe it has been formally proven correct. I would love to see evidence that it has been proven to be mathematically equivalent to Paxos.

My understanding is that Raft has been proven formally correct in one of the author's PhD:

naw dog, they got tla+ and shiznick

That's great, they hadn't done this when I last talked to them.