Skip to content
GitLab
Explore
Sign in
HoTT
agda-unimath
Repository
Branches
Overview
Active
Stale
All
hott-set-theory
e5924ee2
·
Add proof that it tot f is an embedding then f is a family of embeddings
·
Apr 04, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
set-theory-paper-elisabeth
2b0cc380
·
Add naturality condition to CwFs
·
Feb 05, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
b4108429
·
Additions during work on material set theory in HoTT (#910)
·
Nov 27, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
daniel-sigma-types
28198348
·
Test
·
Nov 22, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gh-pages
f88bbca2
·
deploy:
5748ee50
·
Jun 07, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
53-concrete-subgroups
76514b36
·
Merge pull request #194 from tomdjong/master
·
May 31, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
EgbertRijke-patch-1
3f583024
·
Update README.md
·
May 18, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jojo
537de907
·
[ Makefile ] adds new target watch-html for local html previews.
·
Mar 30, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar