Geeks
CoqHott
/
cubical_forcing
forcing on the cube category to realize univalence
Primary Language
Coq
cubical_forcing GitHub
Markdown
Readme
0
Issues
2
Stargazers
7
Watchers
cubical_forcing
forcing on the cube category to realize univalence