A framework for formally verifying distributed systems implementations in Coq - View it on GitHub