2 ms·
Well, Lean needs to get its act together to fix the bugs.
by eru 1mo ago
Well, Lean needs to get its act together to fix the bugs.
- seanhunter 1mo 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.