Formal proof in software engineering has been a thing for a very long time, no need for cryptocurrency for that. Control systems for rockets, autonomous subways [1], and many life critical devices are built using such methodologies.<p>In a startup environment you are first and foremost trying to figure out what your customers want. Formal proof is not going to help solve this problem. I&#x27;m sure McLaren is also not spending days trying to understand why a panel is off by a few millimeters when they assemble a prototype.<p>[1] Paris subway (line 14) is controlled by a software written using a formal proof method called the B-Method: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;B-Method" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;B-Method</a>