What kind of math do you do, and what would “generating proofs” look like do you... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

vonnik 10 months ago | parent | context | favorite | on: Why formalize mathematics – more than catching err...

What kind of math do you do, and what would “generating proofs” look like do you think?

vonnik 10 months ago [–]

i don't know why this was down-voted... i'm genuinely interested in the answers. feel free to dm me.

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