I No Longer Like Python's Boolean Comparisons

Aug 21, 2017
1 minute read

1 or 2 # returns 1, not True
(1 or 1) == True # returns False

You spend half your life doing Boolean algebra and then Python just has to come and mess it all up.

An interactive Lean 4 blog post — click through for the full experience.