GitHub repository: jwiegley/coq-cds4ltl
Primary language: Coq
Description: A formalization of finite, constructive log analysis using linear temporal logic