mortberg / cubicalttLinks

Experimental implementation of Cubical Type Theory
582Updated last year

Alternatives and similar repositories for cubicaltt

Users that are interested in cubicaltt are comparing it to the libraries listed below

Sorting: