A framework for formally verifying distributed systems implementations in Coq
No resources for this project.