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