📢 OpenMath i @ShentuChain v2.17 deler belønningene for Rocq- og Lean-bevis, noe som styrker insentivene for on-chain matematisk verifisering 👇