蝉语 - UmiFox 项目详情
已上线 程序员版面 cicada-lang.org

蝉语

形式化数学定理的程序语言。

同版面项目

查看全部 →

评论与反馈

欢迎补充使用体验、项目建议或开发者线索。