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