I don't trust Lean code from AI

(karagila.org) by surprisetalk | Oct 28, 2026 | 0 comments on HN