📢 OpenMath trong @ShentuChain v2.17 chia sẻ phần thưởng cho các chứng minh Rocq và Lean, tăng cường động lực cho việc xác minh toán học trên chuỗi 👇