欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
开源的矢量处理软件中Inkcape具有商业矢量软件的大部分功能,支持SVG格式和AI格式,支层持操作,支持Python脚本,以后的版本将支持矢量动画格式(基于svg的flash?)。
点击看大图 点击看大图
<discussion>characters_max=300</discussion>