GitHub repository: jwiegley/constructive-ltl
Primary language: Coq
Created: 2019-04-11T17:54:31Z
Description: A formalization of finite, constructive log analysis using linear temporal logic