================ ---------------- kasuga-fj wrote: I'm strongly opposed to humans writing such proofs by hand -- is that coming across? I'd also like to hear other's thoughts on this. @Meinersbur What do you think? https://github.com/llvm/llvm-project/pull/162281