Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-2,84 %
USELESS
USELESS+14,35 %
IKUN
IKUN+5,12 %
gib
gib-21,08 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+8,37 %
ALON
ALON+1,96 %
LAUNCHCOIN
LAUNCHCOIN+10,04 %
GOONC
GOONC+2,6 %
KLED
KLED+13,04 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,62 %
Boopa
Boopa+6,81 %
PORK
PORK0,00 %
Shentu Chain
Shentu Chain
8 mars, 21:12·
MISE À JOUR : OpenMath Avec Shentu v2.17.0, OpenMath sépare désormais les récompenses pour les preuves Rocq et Lean. Les contributeurs soumettent actuellement des preuves en utilisant des systèmes tels que : • Rocq • Lean Différents systèmes de preuve, flux de récompenses indépendants et attribution claire pour le travail de vérification formelle.