📢 OpenMath ve verzi 2.17 @ShentuChain rozděluje odměny za Rocq a Lean důkazy, čímž posiluje motivaci pro on-chain matematické ověřování 👇