HN を表示: 正式に検証された 3D CSG: 1000 行の AI コードではなく、93 行の仕様を信頼します

私の知る限り、これは 3D 構成的ソリッド ジオメトリ (CSG) 操作の正式に検証された最初の実装です。メッシュ交差は Lean 4 で実装され、ピンが行う簡潔な仕様に対して検証されています。

概要は情報提供のみを目的としてまとめられています。全文についてはソース リンクを参照してください。デモのエントリは一例です。