Star AlbumentationsX on GitHub — it powers this leaderboard

Star on GitHub
← Back to leaderboard
anoma

Isabelle-HPaxos

anoma/Isabelle-HPaxos

A formalization of HPaxos in Isabelle

2stars
View on GitHub
Forks
0
Open issues
0
Watchers
2
Size
0.5 MB
IsabelleGNU General Public License v3.0
Created: Jan 26, 2024
Updated: Jul 23, 2024
Last push: May 1, 2024