Sealbook

HigherOrderCO/Kind

A modern proof language

dependent-typesformalityfunctional-programminglambda-calculusmoonadproof-languageproof-languagestheorem-provertype-theory

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 21 months ago.