📢 OpenMath у версії 2.17 @ShentuChain розділяє винагороди за докази Rocq і Lean, посилюючи стимули для математичної верифікації 👇 в блокчейні