← Back to context Comment by fzzzy 7 hours ago Luckily that's the compiler's job. 1 comment fzzzy Reply antonvs 7 hours ago Yes, I was referring to writing the proofs, which is very much the human or LLM's job.
antonvs 7 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.