MQBP v6.10 Lean/Coq: Multiplication-Free Position Compiler (zenodo.org) 1 points by GeometryKernel 13d ago ↗ HN
1 comment
[ 0.25 ms ] story [ 12.4 ms ] thread