GitHub repository: logsem/aneris
Primary language: Coq
Description: Program logic for developing and verifying distributed systems