[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
Looking at it again several years later (I had written it in february 2012) I think it looks great.
I should read it again to know if it is true :)
What is poor is the trail of QEDs at the end. And it is also a bit too much detailed at one place: