HigherOrderCO/Kind

Un lenguaje de demostración moderno

↗ Abrir en GitHub

Estrellas

3763

Bifurcaciones

152

Lenguaje

Haskell

Licencia

MIT

Último push

hace 2 años

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

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.