←back to thread

On Building Git for Lawyers

(jordanbryan.substack.com)
162 points jpbryan | 1 comments | 14 Nov 24 15:48 UTC | HN request time: 0.199s | source
Show context
SchwKatze ◴[14 Nov 24 16:36 UTC] No.42137911[source]▶
I was thinking about that last month. But in addition to git, I would propose a formal verification system based on the contract statements, to ensure that any addition would not broke the logic and correctness of the contract. Working like a CI system.
replies(3): >>42137949 #>>42138043 #>>42139675 #
1. sunshowers ◴[14 Nov 24 18:48 UTC] No.42139675[source]▶
This is not how common law (and likely other) legal systems work. You'd likely have better results with some kind of AI that has ingested all of case law.