Consensus_Refined

Infra

Consensus_Types

Quorums

Consensus_Misc

Two_Steps

Three_Steps

Refinement

HO_Transition_System

Voting

Voting_Opt

OneThirdRule_Defs

OneThirdRule_Proofs

Ate_Defs

Ate_Proofs

Same_Vote

Observing_Quorums

Observing_Quorums_Opt

Two_Step_Observing

Uv_Defs

Uv_Proofs

BenOr_Defs

BenOr_Proofs

MRU_Vote

MRU_Vote_Opt

Three_Step_MRU

New_Algorithm_Defs

New_Algorithm_Proofs

Paxos_Defs

Paxos_Proofs

CT_Defs

CT_Proofs