PietroSabelli/topological-co-induction
Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"
Agda
Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"
Agda