verus-paxos
Rust
★ 1
updated 1mo ago
experiment combining verus with simulation testing of simple CASPaxos implementation
No plain-English explanation yet — one is being written right now. Check back in a minute.