3 ms·
The thing that these systems offer is "having to check less code". In some situations, that's huge. In others, it's not worth the effort it takes to get there a
by staunton 3y ago
The thing that these systems offer is "having to check less code". In some situations, that's huge. In others, it's not worth the effort it takes to get there and maybe doesn't actually reduce the complexity of checking that it all makes sense.
In other words, maybe you proved something beyond reasonable doubt, but that's completely useless if you misunderstand what it was that you proved.