> You mean "legalese"? No, more so something that could be verified using an interactive theorem prover; e.g., Coq (https://en.wikipedia.org/wiki/Coq https://e

> You mean "legalese"? No, more so something that could be verified using an interactive theorem prover; e.g., Coq (https://en.wikipedia.org/wiki/Coq https://en.wikipedia.org/wiki/Coq). All lawsuits would then consist of running a computer program against the legal "code".