📢 OpenMath w @ShentuChain v2.17 dzieli nagrody za dowody Rocq i Lean, wzmacniając zachęty do weryfikacji matematycznej na łańcuchu 👇