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