Comment by soerxpso

It's formalized in Lean, isn't it? Do you also rely on a community of C++ experts to tell you whether a program compiles or not?