欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Apache OFBiz 中的 JavaScript
OFBiz的后台很强大,前端比较弱,将更多的用户交互、数据展示等交由 JavaScript、CSS、HTML5 完成。