Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
jojo
537de907
·
[ Makefile ] adds new target watch-html for local html previews.
·
Mar 30, 2022
EgbertRijke-patch-1
3f583024
·
Update README.md
·
May 18, 2022
53-concrete-subgroups
76514b36
·
Merge pull request #194 from tomdjong/master
·
May 31, 2022
gh-pages
f88bbca2
·
deploy:
5748ee50
·
Jun 07, 2022
daniel-sigma-types
28198348
·
Test
·
Nov 22, 2023
master
default
protected
b4108429
·
Additions during work on material set theory in HoTT (#910)
·
Nov 27, 2023
set-theory-paper-elisabeth
2b0cc380
·
Add naturality condition to CwFs
·
Feb 05, 2024
hott-set-theory
4b96eb11
·
Small fix
·
Jul 10, 2024