MQBP v6.10 Lean/Coq: Multiplication-Free Position Compilerzenodo.org1 point·GeometryKernel··0 commentsOpen articleSaveView on HN