GitHub / DistributedComponents / InfSeqExt
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DistributedComponents%2FInfSeqExt
PURL: pkg:github/DistributedComponents/InfSeqExt
Stars: 17
Forks: 4
Open issues: 1
License: None
Language: Coq
Size: 88.9 KB
Dependencies parsed at: Pending
Created at: over 8 years ago
Updated at: 3 months ago
Pushed at: over 2 years ago
Last synced at: about 1 month ago
Topics: coq, coq-library, ltl, modal-logic, proof, temporal-logic
Loading...