GitHub repository: logsem/trillium
Primary language: Coq
Description: The Trillium logic for proving trace refinement properties such as liveness via Iris