4 ms·Luckily that's the compiler's job.by fzzzy 9mo agoLuckily that's the compiler's job.antonvs 9mo agoYes, I was referring to writing the proofs, which is very much the human or LLM's job.