Yes, this was my point, formal proof static analysis makes LLM output better. Therefor a language with far higher requirements on formal proofing (to the point it becomes very difficult for humans to understand) might end up being better to use by an LLM.

Of course it is not that simple as a large part of how effective LLMs are is due to training data which is hard to get for a new language.