The point about using lean is you don't have to trust you can verify. | Hacker News

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

		lanstin on Sept 15, 2024 \| parent \| context \| favorite \| on: Terence Tao on O1 The point about using lean is you don't have to trust you can verify.

Davidzheng on Sept 15, 2024 [–]

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.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact