Hacker News new | ask | show | jobs
by cma 22 days ago
Same could be said for human mathematicians that learn from tools like Lean.