Similarly forall f x=y => f(x)=f(y) can do quite a lot of work given that you’re... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

User23 on June 19, 2022 | parent | context | favorite | on: Ask HN: How to learn mathematical proofs from scra...

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact