Specification and proof of the Paxos protocol in Dafny
You2Xi2/paxos_proof
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- Dafny 44.2%
- Rocq Prover 27.5%
- Python 27.2%
- Other 1.1%