DistributedComponents/InfSeqExt
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Coq
Issues
- 1
Install and commit for coq 8.12, InfSeqExt
#7 opened by brando90 - 0
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Coq