Tag
Antimony is an experimental CAD tool where solid modeling is done by connecting scriptable nodes in a DAG, using functional representations for CSG and Python-defined shapes. It supports automatic change propagation, interactive viewport editing, and STL/heightmap export with feature detection.
A formally verified 3D mesh intersection implementation in Lean 4 that requires reviewing only 93 lines of specification, trusting the Lean checker rather than 1000+ lines of AI-generated code. It demonstrates a novel approach to reducing human review effort while ensuring correctness.