GitHub repository: DistributedComponents/InfSeqExt
Primary language: Coq
Created: 2016-11-20T20:58:16Z
Description: A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators