no I agree I just don't think existing Lean codebase is approaching useful cover... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Davidzheng on Sept 15, 2024 \| parent \| context \| favorite \| on: Terence Tao on O1 no I agree I just don't think existing Lean codebase is approaching useful coverage. Should change soon

lanstin on Sept 15, 2024 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact