欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
E3 blockchian & bitcoin
E3区块链和比特币应用
E3 bitcoin trading基于Meteor、Node.js和MongoDB构建，based on Gekko。
运行Gekko
$ node gekko --config config.js $ node gekko --config config.js --backtest $ node gekko --config config.js --import
