欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
WeFlow:一个基于 tmt-workflow 前端工作流的开发工具。
WeFlow目前已支持微信游戏、微信·朋友圈广告、微信·城市服务等项目的第三方合作团队的前端构建工作。