# 蝉语

- URL: https://cicada-lang.org
- Domain: cicada-lang.org
- Category: indie
- Link status: unknown
- Source: known
- License: description excerpt from github.com/1c7/chinese-independent-developer

## English

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

## 中文

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