I don't trust Lean code from AI

(karagila.org)

1 points | by surprisetalk 4 hours ago ago