Skip to content
GitLab
Explore
Sign in
HoTT
hott-set-theory
Repository
Branches
Overview
Active
Stale
All
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
old-master
protected
ab78c7c7
·
Define a strong notion of bisimilarity for T-Coalgebras.
·
Mar 31, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
agda-unimath-port
f775f85e
·
Progress on proof of exponentiation
·
Jun 02, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
iterative-set
afff6d57
·
WIP: Iterative sets.
·
Jun 10, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
initiality
d2f96b53
·
Completed rough proof of initiality of V⁰
·
Aug 30, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
initiality-merge
2817e5bd
·
Clean up iterative/set a bit.
·
Aug 30, 2022
!5
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-anders
b07caa6a
·
test
·
Sep 15, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V-is-LCC-daniel
c3b9c7f8
·
Update submodule
·
Sep 20, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ordinals
666ea76f
·
wip on ordinal from element in V⁰
·
Feb 22, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar