GitHub repository: Kethku/verdi-lockserv
Primary language: Coq
Description: An implementation of a simple lock server, verified in Coq using the Verdi framework