I don't trust Lean code from AI

 (karagila.org)

1 points | by surprisetalk 2 hours ago

0 comments