← All repos

uwplse/verdi

View on GitHub ↗ ★ 627 Rocq Prover

A framework for formally verifying distributed systems implementations in Coq

9 mentions on Hacker News by 9 people: 1 story, 8 comments · first 2015-04-08 · latest 2017-05-19