gwaithimirdain

gwaithimirdain/narya

A proof assistant for higher-dimensional type theory

264 stars 23 forks 264 watchers OCaml GNU General Public License v3.0

2 Open Issues Need Help Last updated: Jul 6, 2026

Open Issues Need Help

View All on GitHub

Split should handle window modalities about 1 month ago

enhancement good first issue

gwaithimirdain/narya

264

A proof assistant for higher-dimensional type theory

OCaml

Locally defined indexed datatypes about 2 months ago

enhancement good first issue

gwaithimirdain/narya

264

A proof assistant for higher-dimensional type theory

OCaml