GitHub repository: ybertot/coind_filters
Primary language: Coq
Created: 2018-04-25T17:26:37Z
Description: Coq code associated to an article published at TLCA'05 "Filters on Co-inductive Streams..."