maxsnew / cubical-categorical-logicLinks

Extensions to cubical for categorical logic/type theory
30Updated this week

Alternatives and similar repositories for cubical-categorical-logic

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

Sorting: