mortberg / cubicalttLinks

Experimental implementation of Cubical Type Theory
588Updated 2 years ago

Alternatives and similar repositories for cubicaltt

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

Sorting: