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