← Back to context Comment by StarlaAtNight 21 hours ago When I saw “Lean” I thought https://en.m.wikipedia.org/wiki/Lean_manufacturing 1 comment StarlaAtNight Reply dudeinjapan 16 hours ago I thought purple drank https://en.wikipedia.org/wiki/Lean_(drug) Always seemed odd they would name a proof assistant language after cough syrup
dudeinjapan 16 hours ago I thought purple drank https://en.wikipedia.org/wiki/Lean_(drug) Always seemed odd they would name a proof assistant language after cough syrup
I thought purple drank https://en.wikipedia.org/wiki/Lean_(drug) Always seemed odd they would name a proof assistant language after cough syrup