Skip to content

GitLab

Explore

Sign in

H

hott-set-theory

Project information

An Agda development of set theory inside homotopy type theory.

78 Commits
1 Branch
0 Tags

README

Created on

May 14, 2020

Loading