permute@permute · 1 worksBuilds formally verified 3D geometry software, starting with mesh intersection in Lean 4.