SamuelSchlesinger

SamuelSchlesinger

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
8 Stars
0 Forks
8 Watchers

Repositories (2)

zug-consensus-formalization SamuelSchlesinger/zug-consensus-formalization Lean

Lean 4 formalization of the safety and liveness proofs for the Zug Atomic Broadcast protocol

4
paxos SamuelSchlesinger/paxos Haskell

Documenting my understanding of the Paxos algorithm for future reference

4