gwaithimirdain

gwaithimirdain/narya

A proof assistant for higher-dimensional type theory

2 good first / help-wanted issues · OCaml · last activity Jul 6, 2026

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

enhancement good first issue

gwaithimirdain/narya

264

A proof assistant for higher-dimensional type theory

OCaml

Locally defined indexed datatypes 4 months ago

enhancement good first issue

gwaithimirdain/narya

264

A proof assistant for higher-dimensional type theory

OCaml