HigherOrderCO/Kind

Uma linguagem de prova moderna

↗ Abrir no GitHub

Estrelas

3.763

Bifurcações

152

Linguagem

Haskell

Licença

MIT

Último push

há 2 anos

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

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.