1 result found Sort:

HigherOrderCO
Kind HigherOrderCO
143
3.6k
mit
75
A modern proof language
moonad formality type-theory proof-language theorem-prover dependent-types lambda-calculus proof-languages functional-programming
Created 2018-07-13
279 commits to master branch, last one 21 days ago