A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
