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.
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.
Hàng đầu
Thứ hạng
Yêu thích
