Trend Olan Konular
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+%5,3
USELESS
USELESS-%1,85
IKUN
IKUN-%1,95
gib
gib+%3,66
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-%0,3
ALON
ALON+%2,3
LAUNCHCOIN
LAUNCHCOIN-%4,19
GOONC
GOONC+%1,72
KLED
KLED+%13,74
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-%1,98
Boopa
Boopa+%2,56
PORK
PORK%0,00
Shentu Chain
Shentu Chain
8 Mar 21:12·
GÜNCELLEME: OpenMath Shentu v2.17.0 ile OpenMath artık Rocq ve Lean ispatları için ödülleri ayırıyor. Katkıda bulunanlar şu anda şu gibi sistemler kullanarak kanıtlar sunmaktadır: • Rocq • Eğik Farklı ispat sistemleri, bağımsız ödül akışları ve resmi doğrulama çalışmaları için net atıflama.