Cicada Lang 依赖类型编程语言

Cicada（蝉语）是一门依赖类型编程语言，一个交互式定理证明器。 蝉语项目主要是为了帮助大众理解开发软件和研究数学事实上是同一类活动，实践这两项活动的人可以相互学习，并以非常好的方式相互帮助。...