Unless you're doing software for airplanes, ain't noone formally proofing anything being done.
I don't usually write proofs at work but I do work with formal models of critical sections in our systems.
Although on the side I am working on bootstrapping Lean's ecosystem so we can write more proof-carrying code in more places.
Unless you're doing software for airplanes, ain't noone formally proofing anything being done.