An implementation of a simple lock server, verified in Coq using the Verdi framework
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).