Skip to content

Instantly share code, notes, and snippets.

@xieyuheng

xieyuheng/2022-01-15-cicada-language-announcement.txt

Last active January 15, 2022 18:27
Show Gist options
  • Save xieyuheng/a3a9166749507fa4ef4d044605f3a1bb to your computer and use it in GitHub Desktop.
Save xieyuheng/a3a9166749507fa4ef4d044605f3a1bb to your computer and use it in GitHub Desktop.
Download ZIP
Raw
2022-01-15-cicada-language-announcement.txt
「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言。
《蝉语手册》（语言的主要文档）：https://readonly.link/manuals/gitlab.com/cicada-lang/cicada
《蝉语独白》（中文）（一个模仿 Little Book 的小册子）：https://readonly.link/books/github.com/xieyuheng/cicada-monologues
项目主页：https://cicada-lang.org
欢迎大家转发给可能会感兴趣的朋友哦～
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment