I would think Lean and other formal languages are the real gold standard.

But none of them really have enough training data for LLMs to be any good at them.