2 results found Sort:

cicada-lang
cicada-solo cicada-lang
5
128
gpl-3.0
3
Cicada Language (solo version)
repl cicada prover language type-system type-theory theorem-prover dependent-types programming-language dependent-type-theory dependent-record-types interactive-theorem-proving
Created 2021-03-28
6,371 commits to master branch, last one 6 days ago
cicada-lang
cicada-plct cicada-lang
7
91
gpl-3.0
3
Cicada Language (PLCT little team)
repl cicada prover language type-system type-theory theorem-prover dependent-types programming-language dependent-type-theory dependent-record-types interactive-theorem-proving
Created 2022-08-07
1,873 commits to master branch, last one 6 days ago