HigherOrderCO/Kind

A modern proof language

★ 3.8K Stars

⑂ 152 Forks

○ 3.8K Watchers

✖ 7 Issues

Haskell

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

Last push: 1y ago

Created:

Loading additional information…