HigherOrderCO/Kind

一种现代证明语言

↗ 在 GitHub 打开

星数

3,763

Fork 数

152

语言

Haskell

许可

MIT

最后推送

2年前

Haskell functional-programming type-theory lambda-calculus dependent-types formality moonad proof-language proof-languages theorem-prover

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。