haver-raft:可证明是正确的Raft算法的端口

什么是Haver-Raft？ 它是一个可靠的行李架，可使用Raft算法在有序的可靠消息传递基础上达成共识！ Haver-Raft是Haskell中的Raft共识实施，源自Verdi Project验证的Coq Raft实施。 最初的Haver-raft实现应在语法上与提交093061a1c310ec55af4e354e7388dce308d910f7匹配 我什么时候应该使用Haver-Raft？ 除了作为Raft的完全显式引用实现之外，您可能不应该这样做，它对经过验证的Verdi实现进行了一些调整以使其可以使用。 如果要对其进行修改，请对其进行分叉！ 该代码旨在忠实于经过验证的正确模型代码，以保持正确性。 因此，设计改进不在桌上。 对不起！ 你为什么写这个？ 因为在编写供自己使用的更好设计的Raft / Consensus版本之前，我们希望确保至少一次至少正确地编写了一次！