>fwiw I have a bunch of LLMs writing first Lean code

How do you bridge the mental gap?

The gap between me writing high quality rust do this steps and something being logically sound seems enormous to me

Maybe I'm misunderstanding things but I just can't articulate my ideas in casual lean4. But i can do casual rust spec