simhu / cubicalLinks

Implementation of Univalence in Cubical Sets
144Updated 9 years ago

Alternatives and similar repositories for cubical

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

Sorting: