npub12m…nnhq6 on Nostr: Lots of software that should be formally verified aren't so because manually writing ...

Lots of software that should be formally verified aren't so because manually writing proof is prohibitedly expensive. That's not the case anymore with delegating writing proofs to LLMs.