cicada-lang/cicada-plct

Cicada Language (PLCT little team)

语言：TypeScript · GitHub 星标：94 · Fork：7

话题：cicada · dependent-record-types · dependent-type-theory · dependent-types · interactive-theorem-proving · language · programming-language · prover

在 GitHub 上查看原仓库