Skip to content

GitLab

Explore

Sign in

hott-set-theory

Project information

An Agda development of set theory inside homotopy type theory.

242 Commits
15 Branches
3 Tags

README

Created on

May 20, 2020

Copy SSH clone URLgit@git.app.uib.no:hott/hott-set-theory.git
Copy HTTPS clone URLhttps://git.app.uib.no/hott/hott-set-theory.git

Loading