Well I did write my doctoral thesis on using what we now call domain specific languages to generate formal specifications and proofs so I probably have thought more about it than you. But not with chat gpt which is the latest shiny thing. I