News for hackers. Stuff that matters.
Re:Ask HN: How to learn mathematical proofs from scratch? by Natsu on Monday June 20, 2022 @03:40AM (#31807358)
I'm assuming those steps in the definitions of 2 and 4, but you're right that this is part of why it gets so tedious.

There are no comments on this comment yet.