added missing Proof. for lemma candidate_entries_request_vote_reply
added missing Proof. for lemma candidate_entries_request_vote_reply

palmskog/verdi,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,uwplse/verdi-raft,DistributedComponents/verdi-aggregation,uwplse/verdi-raft,palmskog/verdi,uwplse/verdi-raft,DistributedComponents/verdi-aggregation,uwplse/verdi-raft,uwplse/verdi-raft,palmskog/verdi