3 ms·
It's the same thing as formal software engineering specs. Unless you're doing software for airplanes, ain't noone formally proofing anything being done.
by WrtCdEvrydy 7y ago
It's the same thing as formal software engineering specs.
Unless you're doing software for airplanes, ain't noone formally proofing anything being done.
- agentultra 7y agoThat's not true! 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.