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