[antonvs]

Yes, because those other languages all have much weaker type systems.

[jmalicki]

Do you have examples of LLMs proving global correctness for say, C? Having worked on static analysis for both C and Rust, Rust is the easier problem because of the type system, but I am eager to be proven wrong!