📢 OpenMath în @ShentuChain v2.17 împarte recompensele pentru demonstrațiile Rocq și Lean, consolidând stimulentele pentru verificarea 👇 matematică on-chain