DistributedComponents/InfSeqExt

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Coq

Issues

Install and commit for coq 8.12, InfSeqExt
#7 opened 2 years ago by brando90
1
Address deprecation of positive coinductive types
#1 opened 6 years ago by palmskog
0