Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+5,2%
USELESS
USELESS+2,47%
IKUN
IKUN+3,83%
gib
gib-5,81%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+4,44%
ALON
ALON+4,95%
LAUNCHCOIN
LAUNCHCOIN-1,42%
GOONC
GOONC+0,11%
KLED
KLED+11,37%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-1,7%
Boopa
Boopa+0,13%
PORK
PORK+2,28%
Shentu Chain
Shentu Chain
8 mar, 21:12·
AKTUALIZACJA: OpenMath W Shentu v2.17.0, OpenMath teraz oddziela nagrody za dowody Rocq i Lean. Współpracownicy obecnie przesyłają dowody przy użyciu systemów takich jak: • Rocq • Lean Różne systemy dowodowe, niezależne przepływy nagród i wyraźna atrybucja za pracę nad weryfikacją formalną.