Or something like Catala language - https://catala-lang.org/ https://catala-lang.org/? Catala: A Programming Language for the Law - https://arxiv.org/abs/2103.0

Or something like Catala language - https://catala-lang.org/ https://catala-lang.org/? Catala: A Programming Language for the Law - https://arxiv.org/abs/2103.03198 https://arxiv.org/abs/2103.03198