Skip to content
GitLab
Explore
Sign in
HoTT
agda-unimath
Repository
Branches
Overview
Active
Stale
All
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
EgbertRijke-patch-1
3f583024
·
Update README.md
·
May 18, 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
gh-pages
f88bbca2
·
deploy:
5748ee50
·
Jun 07, 2022
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
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