gwaithimirdain

gwaithimirdain / narya

#6

28023+2 todayOCaml

A proof assistant for higher-dimensional type theory

📊 Project Info

Language: OCaml
Stars: ⭐ 280
Forks: 23
Today: +2
Ranking: #6
Collection: Language
Trending Date: July 18, 2026
Last Push: 7/18/2026