Hacker News new | past | comments | ask | show | jobs | submit
eru | on: Three new discoveries in mathematics, computer science, and physics
Wouldn't a bug in the (Lean) kernel just result in a PR to Lean?