3 ms·"No true working mathematician would spend their time using Lean!"by nimih 2y ago"No true working mathematician would spend their time using Lean!"