2 ms·MQBP v6.10 Lean/Coq: Multiplication-Free Position Compiler1 points by GeometryKernel 2mo agoGeometryKernel 2mo ago[flagged]