Skip to content
GitLab
Explore
Sign in
HoTT
agda-unimath
Tags
wip-cwf-sigma-structure
wip-cwf-sigma-structure
Elisabeth.Bonnevier
@Elisabeth.Bonnevier
2205fe19
·
wip CwF
·
Feb 02, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Wip on equalities of substitutions on CwFs + definition of Sigma structure