Skip to content
GitLab
Explore
Sign in
HoTT
hott-set-theory
Repository
Branches
Overview
Active
Stale
All
Active branches
wip-safa
b829c84c
·
FINISHED
·
May 06, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
1478d23e
·
Fix definition of indexed container
·
Mar 17, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
wip
7e8868f9
·
wip2
·
Nov 22, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip2
21196a07
·
wip
·
Nov 23, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip3
f6501597
·
Colimit construction
·
Nov 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
U-colimit
db03cd50
·
wip
·
Mar 16, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
construct-V-corec
b9b7893e
·
Finish proof that V-corec is a P-Hom
·
Mar 28, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar