I hope so! So far I've been unimpressed with ChatGPT and Copilot for generating TLA+. It mixes in idioms from other programming languages, like RETURN, which ma

I hope so! So far I've been unimpressed with ChatGPT and Copilot for generating TLA+. It mixes in idioms from other programming languages, like RETURN, which make no sense in TLA+. What I'm hoping is that it'll be helpful for writing J. That'd be a feat.