📢 OpenMath na @ShentuChain v2.17 divide recompensas para provas Rocq e Lean, fortalecendo os incentivos para a verificação matemática em cadeia 👇