Well, if your product is on the hello world complexity, you might make it bug-free by just yourself simply through chance. Formal proving doesn’t really scale

Well, if your product is on the hello world complexity, you might make it bug-free by just yourself simply through chance. Formal proving doesn’t really scale much further, definitely not to “enterprise” product scale.