4 ms·
Prior discussion of Terry’s first post on the subject: https://news.ycombinator.com/item?id=38528582 https://news.ycombinator.com/item?id=38528582
by SkyMarshal 3y ago
Prior discussion of Terry’s first post on the subject: https://news.ycombinator.com/item?id=38528582 https://news.ycombinator.com/item?id=38528582
- woolion 3y agoSee also https://news.ycombinator.com/item?id=38035672 https://news.ycombinator.com/item?id=38035672, a discussion a month prior about how he used AI copilot to help him get into Lean4.