蝉语 - 程序员版面：形式化数学定理的程序语言。 日期：2026-09-18 作者：admin 分类：Web小站 浏览：1 评论：0 蝉语形式化数学定理的程序语言。项目简介形式化数学定理的程序语言。开发者：谢宇恒(深圳) | 分类：程序员版面项目地址🔗 链接：https://cicada-lang.org独立开发者作品 标签： 无