欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
E3 language
E3 language：面向商业的编程语言。
E3 language based on Solidity 从函数式编程、Julia、F#、Clojure等语言获得灵感和启发，采用GPL v3许可协议。
商业社会就是：投资、合约、交易
为何叫E3，因为Ethereum，因为electronic trading/e-Commerce，因为Enterprise商业应用。
