← Back to context Comment by fzzzy 6 hours ago Luckily that's the compiler's job. 1 comment fzzzy Reply antonvs 5 hours ago Yes, I was referring to writing the proofs, which is very much the human or LLM's job.
antonvs 5 hours ago Yes, I was referring to writing the proofs, which is very much the human or LLM's job.
Yes, I was referring to writing the proofs, which is very much the human or LLM's job.