📢 OpenMath in @ShentuChain v2.17 teilt die Belohnungen für Rocq- und Lean-Beweise und stärkt die Anreize für die mathematische Verifizierung on-chain 👇