Isabelle-HPaxos

A formalization of HPaxos in Isabelle

Name		Name	Last commit message	Last commit date
Latest commit History 43 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
ROOT		ROOT
hpaxos.thy		hpaxos.thy
hpaxos_aux.thy		hpaxos_aux.thy
hpaxos_liveness.thy		hpaxos_liveness.thy
hpaxos_liveness_old.thy		hpaxos_liveness_old.thy
hpaxos_safety.thy		hpaxos_safety.thy
hpaxos_time.thy		hpaxos_time.thy

Provide feedback