Pinned Repositories
topological-co-induction
Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"
W-DW-IBC
On the relationship between well-founded sets and inductive generation of pointfree topology
misc
PietroSabelli's Repositories
PietroSabelli/topological-co-induction
Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"
PietroSabelli/misc
PietroSabelli/W-DW-IBC
On the relationship between well-founded sets and inductive generation of pointfree topology