Hacker News new | ask | show | jobs
by nimih 734 days ago
"No true working mathematician would spend their time using Lean!"