Sealbook

HigherOrderCO/Kind

A modern proof language

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

Licencia y mantenimiento

MIT es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hace 21 meses.

Proyectos similares