Cluster 454990

2 repos

Agda · 2

homotopy-type-theory ·723

agda ·723

constructive-mathematics ·284

injective-type ·284

ordinal ·284

searchable-set ·284

totally-separated-type ·284

type-theory ·284

univalent-foundations ·284

univalent-mathematics ·284

Related clusters

plt-amy/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Agda

439

1,229 commits

martinescardo/TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Agda

284

6,302 commits