/topological-co-induction

Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"

Primary LanguageAgda

No issues in this repository yet.