Gitstar Ranking

jozefg / cubicaltt

Experimental implementation of Cubical Type Theory - View it on GitHub
https://arxiv.org/abs/1611.02108
Star
0
Rank
12125847