Hide content and notifications from this user.
Contact Support about this user's behavior.
An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
A framework for formally verifying distributed systems implementations in Coq
Coq utility and tactic library.
Seeing something unexpected? Take a look at the
GitHub profile guide.