欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Inkscape
来自开放百科 - 灰狐
开源的矢量处理软件中Inkcape具有商业矢量软件的大部分功能，支持SVG格式和AI格式，支层持操作，支持Python脚本，以后的版本将支持矢量动画格式（基于svg的flash？）。
精彩图集
分享您的观点
