欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
E language
来自开放百科 - 灰狐
（版本间的差异）
(以“E3 language ==简介== E3 language based on [https://github.com/ethereum/solidity Solidity] GPL v3许可协议。 为何叫E3，因为Ethereum，因为[[e-Comm...”为内容创建页面) |
小 |
||
| 第4行： | 第4行： | ||
E3 language based on [https://github.com/ethereum/solidity Solidity] GPL v3许可协议。 | E3 language based on [https://github.com/ethereum/solidity Solidity] GPL v3许可协议。 | ||
| − | 为何叫E3，因为[[Ethereum]] | + | 为何叫E3，因为[[Ethereum]]，因为electronic trading/[[e-Commerce]]，因为Entrprise商业应用。 |
==路线图== | ==路线图== | ||
2017年12月26日 (二) 05:22的版本
E3 language
目录 |
简介
E3 language based on Solidity GPL v3许可协议。
为何叫E3，因为Ethereum，因为electronic trading/e-Commerce，因为Entrprise商业应用。
路线图
功能
项目
图集
链接
分享您的观点
