uwplse/verdi

A framework for formally verifying distributed systems implementations in Coq

173 best points · 27 comments · 1 Hacker News post · 629 GitHub stars · View on GitHub

Hacker News discussions