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