Comment by fzzzy Comment by fzzzy 2 days ago 1 reply Copy Link View on Hacker News Luckily that's the compiler's job.
Copy Link antonvs 2 days ago Collapse Comment - Yes, I was referring to writing the proofs, which is very much the human or LLM's job. Reply View | 0 replies
Yes, I was referring to writing the proofs, which is very much the human or LLM's job.