2 ms·

I am totally for software assisted math. Math isn’t just pencil on paper, and it isn’t only proof, and it’s great to talk about over beers.