📢 OpenMath en @ShentuChain v2.17 divide las recompensas para las pruebas Rocq y Lean, fortaleciendo los incentivos para la verificación matemática en la cadena 👇