欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
MixERP 是一个开源(GPLv3) ERP, HRM, MRP, MPS 解决方案。
MixERP 使用的开源项目和类库。
MixERP 使用的快速开发框架，MIT 许可协议。
