I thought purple drank https://en.wikipedia.org/wiki/Lean_(drug) https://en.wikipedia.org/wiki/Lean_(drug) Always seemed odd they would name a proof assistant l

I thought purple drank https://en.wikipedia.org/wiki/Lean_(drug) https://en.wikipedia.org/wiki/Lean_(drug) Always seemed odd they would name a proof assistant language after cough syrup