#

cicada

Here are 2 public repositories matching this topic...

cicada-lang / cicada-solo

Cicada Language (solo version)

language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory

Updated Dec 25, 2024
TypeScript

cicada-lang / cicada-plct

Cicada Language (PLCT little team)

language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory

Updated Dec 25, 2024
TypeScript

Improve this page

Add a description, image, and links to the cicada topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cicada topic, visit your repo's landing page and select "manage topics."