Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-7,11%
USELESS
USELESS+0,81%
IKUN
IKUN+2,38%
gib
gib-9,16%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,01%
ALON
ALON+1,33%
LAUNCHCOIN
LAUNCHCOIN-6,72%
GOONC
GOONC0,00%
KLED
KLED-8,47%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,03%
Boopa
Boopa+5,27%
PORK
PORK0,00%
Harmonic
Harmonic
16 бер., 12:46·
🔥Добре використання API Арістотеля для формального доведення властивості ін'єктивності трансформаторів, що працюють лише з декодером (з @leanprover)