Explore o Prêmio Web3 para obter mais recompensas interessantes
discoveryBanners
Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+8,3%
USELESS
USELESS-2,87%
IKUN
IKUN+0,51%
gib
gib+33,58%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+4,26%
ALON
ALON-4,96%
LAUNCHCOIN
LAUNCHCOIN-7,35%
GOONC
GOONC+2,97%
KLED
KLED+5,48%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,39%
Boopa
Boopa+9,25%
PORK
PORK+3,39%
Sinatras
Sinatras
28 de ago. de 2025·
Eu tenho desenvolvido ambientes na semana passada. Acredito que isso poderia resolver as necessidades ambientais de RL das massas. Houve muitas coisas interessantes e legais para testar, incluindo o ambiente de prova Lean4 de várias voltas inspirado no StepRunProver que eu criei.