Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
HoTT
agda-unimath
Repository
Branches
Overview
Active
Stale
All
Active branches
set-theory-paper-elisabeth
ff30cbe3
·
Construct equivalence on total types from embedding on base types
·
Mar 20, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hott-set-theory
6f6a48c9
·
Merge branch 'cwf' into 'hott-set-theory'
·
Mar 14, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
23a6016a
·
Remove redundant whitespace in headers (#486)
·
Mar 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
jojo
537de907
·
[ Makefile ] adds new target watch-html for local html previews.
·
Mar 30, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
EgbertRijke-patch-1
merged
3f583024
·
Update README.md
·
May 18, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
53-concrete-subgroups
merged
76514b36
·
Merge pull request #194 from tomdjong/master
·
May 31, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gh-pages
f88bbca2
·
deploy:
5748ee50
·
Jun 07, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
