fsestini / tt-in-cubicalLinks

Type Theory in Type Theory using Cubical Agda
13Updated 6 years ago

Alternatives and similar repositories for tt-in-cubical

Users that are interested in tt-in-cubical are comparing it to the libraries listed below

Sorting: