MQBP v6.10 Lean/Coq: Multiplication-Free Position Compiler(zenodo.org)
1 pointby GeometryKernel3 hours ago1 comment