GitHub repository: minkiminki/InfSeqExt
Primary language: Coq
Description: A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators