首页 > V2EX > V2EX-「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言
2022
01-15

V2EX-「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言

xieyuheng:

《蝉语手册》(语言的主要文档):
https://readonly.link/manuals/gitlab.com/cicada-lang/cicada

《蝉语独白》(一个模仿 Little Book 的小册子):
https://readonly.link/books/github.com/xieyuheng/cicada-monologues

项目主页:
https://cicada-lang.org

from V2EX-最新主题 https://ift.tt/3FwRws3
V2EX-「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言 - 第1张  | 牛C网(NiuL.Net)
牛C网:https://j1o.net
牛C网导航:https://niuc.icu
零九导航:https://09.gay

最后编辑:
作者:分享菌
这个作者貌似有点懒,什么都没有留下。

留下一个回复

你的email不会被公开。