📢 @ShentuChain v2.17'deki OpenMath, Rocq ve Lean ispatları için ödülleri bölerek zincir içi matematiksel doğrulama 👇 için teşvikleri güçlendiriyor