hott-set-theory

Project information

An Agda development of set theory inside homotopy type theory.

254 Commits
17 Branches
5 Tags

README

Created on

May 20, 2020

Loading