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,372 commits to master branch, last one about a month ago
cicada-lang
cicada-plct cicada-lang
7
92
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,874 commits to master branch, last one about a month ago