News for hackers. Stuff that matters.

A comment on Ask HN: How to learn mathematical proofs from scratch?. Parent comment

Re:Ask HN: How to learn mathematical proofs from scratch? by User23 on Sunday June 19, 2022 @03:54PM (#31802778)
Similarly forall f x=y => f(x)=f(y) can do quite a lot of work given that you’re free to choose any convenient f and then substitute its body.
[ Parent | on HN ]

There are no comments on this comment yet.