欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
We Build Open Soure ERP
我们构建开源 ERP
我们基于以下开源项目,为用户提供开源 ERP 应用和解决方案。