蝉语Cicada依赖类型语言与交互式定理证明工具

蝉语Cicada面向形式化数学与程序设计，提供依赖类型语言、交互式环境和文件类型检查等命令。项目通过软件包、源码和学习材料交付，需要使用者在自己的开发环境中学习与运行。