gwaithimirdain / naryaLinks

A proof assistant for higher-dimensional type theory
195Updated this week

Alternatives and similar repositories for narya

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

Sorting: