I am skeptical that we can get well defined laws such that algorithmic enforcement is feasible before say mathematical proofs of computer software is widespread

I am skeptical that we can get well defined laws such that algorithmic enforcement is feasible before say mathematical proofs of computer software is widespread. If we can't/don't practically do the latter, I'm not sure how we expect the former to become possible in a general sense. On the other hand, maybe there is a useful narrow subset of contracts/contract law that is possible to implement. Aren't there some contract areas which are written with fairly extensive references to some set of uniform agreements?