gwaithimirdain

gwaithimirdain / narya

#6
28023+2 todayOCaml
在 GitHub 上查看

一个面向高维类型理论的证明辅助工具

📊 项目信息

语言
OCaml
Stars
⭐ 280
Forks
23
今日新增
+2
排名
#6
收录
语言榜
趋势日期
2026年7月18日
最后推送
2026/7/18