欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Odoo Studio 在线开发工具
通过 Odoo Studio 创建 & 定制各种应用(Business Apps)将变成极其方便和简单。
基于Django构建odoo studio。
