Almost no one grasps, or interested in, formal verification. It's difficult to get software devs to even do unit testing much less prove their compilers always produce correct code.
Even if that were not true, it has absolutely nothing to do with supply chain security.