This repository is not active
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
This repository is not active