📢 OpenMath di @ShentuChain v2.17 membagi hadiah untuk bukti Rocq dan Lean, memperkuat insentif untuk verifikasi 👇 matematika on-chain