Det bekymrer meg virkelig hvor mange matematikere som har sagt til meg denne uken «hvis det kompilerer i lean, vet vi at det er sant». Lean er flott, men det er farlig feil. Her er 50 måter å bevise 1 == 0 i Lean. Den kompileringen. Avhengig av hvilken versjon du bruker. (lenke i kommentarfeltet)