https://github.com/mortberg/cubicaltt
http://www.cse.chalmers.se/~coquand/cubicaltt.pdf https://arxiv.org/abs/1611.02108
-
Notifications
You must be signed in to change notification settings - Fork 0
DmytroMitin/hott-cubicaltt-exercises
About
No description or website provided.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published