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