A framework for formally verifying distributed systems implementations in Coq

Coq585bsd-2-clause

6 months ago

coqcoq-librarydistributed-systems