hott-set-theory

hott-set-theory

An Agda development of set theory inside homotopy type theory.

Forked from Håkon Gylterud / hott-set-theory