欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OBPM是一个开源，轻量级的BPM系统。它的目标是让非IT人员也可以轻松构建IT商业流程。OBPM内建工作流引擎, Form构建器，报表设计器。OBPM支持（IE/Firefox）等浏览器，同时也提供了强大的图形客户端。
