elefthei/reasoning-about-distributed-systems

Reasoning about distributed systems in Coq

Coq