simhu / cubicalLinks

Implementation of Univalence in Cubical Sets
147Updated 10 years ago

Alternatives and similar repositories for cubical

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

Sorting: