Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool