热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico+7.34%
USELESS
USELESS-1.4%
IKUN
IKUN+5.46%
gib
gib+3.74%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk+1.96%
ALON
ALON+7.14%
LAUNCHCOIN
LAUNCHCOIN-1.68%
GOONC
GOONC+7.34%
KLED
KLED+4.18%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-0.7%
Boopa
Boopa+7.25%
PORK
PORK+0.13%
Harmonic
Harmonic
3月16日 12:46·
🔥很好地利用了亚里士多德API来正式证明仅解码器变换器的单射属性（与 @leanprover 一起）