📢 OpenMath в @ShentuChain v2.17 делит вознаграждения за доказательства Rocq и Lean, усиливая стимулы для математической верификации в блокчейне 👇