Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Shentu Chain
Blockchain định hướng bảo mật cho phép tất cả mọi người có thể chứng minh được niềm tin. OpenMath, nền tảng DeSci toán học đầu tiên trên thế giới https://t.co/8YDZJUF1Xq
CẬP NHẬT: OpenMath
Với Shentu v2.17.0, OpenMath hiện tách biệt phần thưởng cho các chứng minh Rocq và Lean.
Các nhà đóng góp hiện đang gửi chứng minh bằng các hệ thống như:
• Rocq
• Lean
Các hệ thống chứng minh khác nhau, dòng phần thưởng độc lập và ghi nhận rõ ràng cho công việc xác minh chính thức.
131
Hàng đầu
Thứ hạng
Yêu thích