valis / hoqLinks

A language based on homotopy type theory with an interval
85Updated 10 years ago

Alternatives and similar repositories for hoq

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

Sorting: