6 ms·
Well, Lean needs to get its act together to fix the bugs.
by eru 5d ago
Well, Lean needs to get its act together to fix the bugs.
- seanhunter 4d agoThey’re working on it, but the bulk of the effort goes into making it more useful to working mathematicians rather than resisting malicious proof attempts.