mikeshulman / narya

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

Alternatives and similar repositories for narya:

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