欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Signal
来自开放百科 - 灰狐
（版本间的差异）
(以“Signal 即时通信 App ==简介== Signal 是一款开源的即时通信软件，采用 GPLv3 和 AGPLv3 许可证。 ==功能== ==规范== ==项目== ==图集=...”为内容创建页面) |
2020年10月20日 (二) 07:52的版本
Signal 即时通信 App
目录 |
简介
Signal 是一款开源的即时通信软件，采用 GPLv3 和 AGPLv3 许可证。
功能
规范
项目
图集
链接
分享您的观点
