permute

@permute · 1 works

Builds formally verified 3D geometry software, starting with mesh intersection in Lean 4.