That's interesting, thank you! I recently saw https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html and thought this may be on to something; now with your post I see that might not be so clear cut...
(For a quick background, I'm a programmer, long "FM-curious", but never managed to get myself to really sit and learn FM. I feel I'm waiting for something more friendly, Dafny looked closest to what I'd like, but in a language not of interest to me - now I'm looking at Verus maybe. And I love your lets-prove-leftpad repo!)
That's interesting, thank you! I recently saw https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html and thought this may be on to something; now with your post I see that might not be so clear cut...
(For a quick background, I'm a programmer, long "FM-curious", but never managed to get myself to really sit and learn FM. I feel I'm waiting for something more friendly, Dafny looked closest to what I'd like, but in a language not of interest to me - now I'm looking at Verus maybe. And I love your lets-prove-leftpad repo!)