mortberg / cubicalttLinks

Experimental implementation of Cubical Type Theory
590Updated 2 years ago

Alternatives and similar repositories for cubicaltt

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

Sorting: