3 ms·Same could be said for human mathematicians that learn from tools like Lean.by cma 5mo agoSame could be said for human mathematicians that learn from tools like Lean.