Last active
January 15, 2022 18:27
-
-
Save xieyuheng/a3a9166749507fa4ef4d044605f3a1bb to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
「蝉语 / 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