schildep commented on an issue in verified-3d-mesh-intersection

schildep commented on schildep/verified-3d-mesh-intersection#1 · July 30, 2026 22:32

schildep commented Jul 31, 2026 Hi Thank you for taking a look! I counted lines of actual lean code in the files [CSG/DataStructures.lean](https://github.com/schildep/verified-3d-…