欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
BOUML 是一个 C++ 开发的开源 UML 2 建模工具，可生成 C++、Java、Idl、PHP、Python 等代码，支持 Unix、Linux、Solaris、Mac OS X 和 Windows 操作系统，该工具运行速度快，无需太多内存就可以管理几千个类。
