1Mathematicians Discuss the Practicality of Lean (opens in new tab)(old.reddit.com)33638494737543y ago0