PietroSabelli/topological-co-induction
Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"
Agda
No issues in this repository yet.
Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"
Agda
No issues in this repository yet.