Skip to content

Prove paxos using network (except start of prepare entries) #261

Prove paxos using network (except start of prepare entries)

Prove paxos using network (except start of prepare entries) #261

check-goose

succeeded Oct 6, 2024 in 39s