欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
E3 blockchain & 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
