csg · 1 topics

formally verified 3d csg lean4