/topological-co-induction

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

Primary LanguageAgda

This repository is not active