issues
search
mortberg
/
cubicaltt
Experimental implementation of Cubical Type Theory
https://arxiv.org/abs/1611.02108
MIT License
567
stars
76
forks
source link
faster pi3s3
#116
Closed
ecavallo
closed
5 years ago
mortberg
commented
5 years ago
Thanks!
Thanks!