search

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory
https://arxiv.org/abs/1611.02108
MIT License
567 stars 76 forks source link

smaller fibContrHopfThree #112

Closed ecavallo closed 5 years ago

mortberg commented 5 years ago

This is truly amazing!

@guillaumebrunerie