欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
UMLet是一个轻量的UML工具,可绘制各类UML图形,并可导出 eps、pdf、jpg、svg、clipboard 等多种文件格式,能方便集成 Eclipse。