Hacker News new | ask | show | jobs
by vonnik 243 days ago
What kind of math do you do, and what would “generating proofs” look like do you think?
1 comments
vonnik 243 days ago
i don't know why this was down-voted... i'm genuinely interested in the answers. feel free to dm me.
link