欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
odoo Enterprise Social Network(ESN)
基于 odoo 构建的企业社交网络解决方案
企业社交网络开源参考实现