HigherOrderCO/Kind

A modern proof language

语言：Haskell · GitHub 星标：3,764 · Fork：152

话题：dependent-types · formality · functional-programming · lambda-calculus · moonad · proof-language · proof-languages · theorem-prover

在 GitHub 上查看原仓库