내가 아는 바로는 이것이 3D CSG(Constructive Solid Geometry) 작업의 공식적으로 검증된 최초의 구현입니다. 메시 교차점은 Lean 4에서 구현되었으며 핀이 수행하는 간결한 사양에 대해 검증되었습니다.
새로운 모델은 기능과 가격 대비 성능의 경계를 재설정합니다. 팀은 출시로 인해 달러당 가능한 것이 바뀔 때마다 무엇을 구축할지 재평가합니다.
요약은 정보 제공 목적으로만 집계되었습니다. 전체 내용을 보려면 소스 링크를 따르세요. 데모 항목은 예시입니다.