News for hackers. Stuff that matters.

A comment on Proof of linearizability in Raft using Coq. Parent comment

Re:Proof of linearizability in Raft using Coq by quibit on Thursday August 06, 2015 @02:21PM (#10018332)
Oh wow, that's actually really powerful stuff! Thanks for the explanation.
[ Parent | on HN ]

There are no comments on this comment yet.