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