📢 OpenMath in @ShentuChain v2.17 splitst beloningen voor Rocq en Lean bewijzen, waardoor de prikkels voor on-chain wiskundige verificatie worden versterkt 👇