I don't trust Lean code from AI

• Posted 2 hours ago by surprisetalk
• 1 points