📢 OpenMath i @ShentuChain v2.17 delar upp belöningar för Rocq- och Lean-bevis, vilket stärker incitamenten för on-chain matematisk verifiering 👇