andromeda:通用类型理论的证明助手

【文件属性】：

文件名称：andromeda:通用类型理论的证明助手

文件大小：16.27MB

文件格式：ZIP

更新时间：2024-06-11 11:29:48

OCaml

仙女座 Andromeda是Martin-Löf的依赖类型理论的证明者。 有关更多信息，请参阅官方，例如安装说明和指向ICFP 2019材料的链接。