欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
FreeCAD
FreeCAD 是一个参数化开源(LGPL)三维建模软件。参数化建模允许你很容易地通过回溯历史并修改参数来修改你的设计,且完全模块化,允许非常高级的扩展和定制。
关键功能
KiCad 通过 FreeCAD 编辑或创建 3D 对象模型。
FreeCAD 0.19.3