← Back to context

Comment by antonvs

9 hours ago

Yes, I was referring to writing the proofs, which is very much the human or LLM's job.

0 comments

antonvs

Reply

No comments yet

Contribute on Hacker News ↗