I don't trust Lean code from AI

1 points | by surprisetalk an hour ago

No comments yet