I keep asking people in my department about using lean but zero interest so far.

		lanstin on Sept 15, 2024 \| parent \| context \| favorite \| on: Terence Tao on O1 I keep asking people in my department about using lean but zero interest so far.