gwaithimirdain

gwaithimirdain/narya

A proof assistant for higher-dimensional type theory

264 stars 23 forks 264 watchers OCaml GNU General Public License v3.0
View on GitHub
1 Open Issue Need Help Last updated: Jul 6, 2026

Open Issues Need Help

View All on GitHub
Locally defined indexed datatypes about 2 hours ago
enhancement good first issue
gwaithimirdain/narya
264

A proof assistant for higher-dimensional type theory

OCaml