A good starting point. But those proofs are notoriously based on fairy tales such as reliable networking, Fail&#x2F;Stop, and other white lies.<p>The fact that a protocol (e.g. Raft) has been proven correct sets the floor but it is certainly not sufficient to assume correctness of an <i>implementation</i>.