Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+5,2 %
USELESS
USELESS+2,03 %
IKUN
IKUN+3,83 %
gib
gib-5,81 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+3,95 %
ALON
ALON+4,95 %
LAUNCHCOIN
LAUNCHCOIN-1,42 %
GOONC
GOONC+0,11 %
KLED
KLED+9,03 %
#
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. 3. 21:12·
AKTUALIZACE: OpenMath S verzí Shentu 2.17.0 nyní OpenMath odděluje odměny za Rocq a Lean důkazy. Přispěvatelé v současnosti předkládají důkazy pomocí systémů jako: • Rocq • Štíhlý Různé systémy důkazů, nezávislé odměny a jasné přiřazení pro formální ověřování.