📢 OpenMath in @ShentuChain v2.17 suddivide le ricompense per le prove Rocq e Lean, rafforzando gli incentivi per la verifica matematica on-chain 👇