📢 OpenMath dans @ShentuChain v2.17 divise les récompenses pour les preuves Rocq et Lean, renforçant les incitations à la vérification mathématique sur la chaîne 👇