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 2 months ago

enhancement good first issue

gwaithimirdain/narya

264

A proof assistant for higher-dimensional type theory

OCaml

Locally defined indexed datatypes 2 months ago

enhancement good first issue

gwaithimirdain/narya

264

A proof assistant for higher-dimensional type theory

OCaml