Trend-Themen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,83 %
USELESS
USELESS-0,3 %
IKUN
IKUN-1,57 %
gib
gib-7,32 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+2,12 %
ALON
ALON-0,21 %
LAUNCHCOIN
LAUNCHCOIN-1,95 %
GOONC
GOONC+2,65 %
KLED
KLED+3,26 %
#
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. März, 21:12·
UPDATE: OpenMath Mit Shentu v2.17.0 trennt OpenMath jetzt die Belohnungen für Rocq- und Lean-Beweise. Beitragsleistende reichen derzeit Beweise mit Systemen wie: • Rocq • Lean Einzelne Beweissysteme, unabhängige Belohnungsströme und klare Zuordnung für formale Verifizierungsarbeiten.