Hacker News new | past | comments | ask | show | jobs | submit
oulipo | on: Mathematics has changed. Let's act like it
There's been many bugs found in Lean already, and there are probably still a few. So that's not the main issue.