Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+8,12%
USELESS
USELESS-5,91%
IKUN
IKUN-5,81%
gib
gib-3,89%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,11%
ALON
ALON-1,97%
LAUNCHCOIN
LAUNCHCOIN+16,25%
GOONC
GOONC-3,57%
KLED
KLED+6,89%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+2,5%
Boopa
Boopa-1,78%
PORK
PORK0,00%
David Budden
David Budden
6 січ., 05:31·
Мене справді турбує, скільки математиків цього тижня казали мені: «якщо це компілюється в lean, ми знаємо, що це правда». Lean — це чудово, але це небезпечно неправда. Ось 50 способів довести 1 == 0 у Lean. Це компілює. Залежно від версії, яку ви використовуєте. (посилання в коментарях)