欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Aeternity
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
|||
| 第9行： | 第9行： | ||
==项目== | ==项目== | ||
| + | *[https://github.com/aeternity/aesophia/blob/lima/docs/sophia.md Sophia Language] An Æternity BlockChain Language | ||
==用户== | ==用户== | ||
2020年11月6日 (五) 00:21的版本
aeternity
目录 |
简介
这是一个更具可扩展和安全的区块链技术，基于 Erlang 构建，采用 ISC 许可证。
功能
指南
项目
- Sophia Language An Æternity BlockChain Language
用户
图集
用户案例
链接
分享您的观点
