Skip to content
GitLab
Explore
Sign in
HoTT
agda-unimath
Tags
Tags give the ability to mark specific points in history as being important
wip-cwf-sigma-structure
2205fe19
·
wip CwF
·
Feb 02, 2024
Wip on equalities of substitutions on CwFs + definition of Sigma structure
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar