欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
上海富勒信息科技有限公司(FLUX)是领先的物流管理软件提供商，精益物流管理领域的领导者。
在电子商务、医药流通、服装物流、生产制造、第三方物流、食品冷链等领域都有成功案例和标杆客户。
FLUX解决方案
