📢 OpenMath en @ShentuChain v2.17 divide las recompensas entre demostraciones Rocq y Lean, reforzando los incentivos para la verificación 👇 matemática on-chain