Catala: A Programming Language for the Law
7 experts are actively discussing the implications.
“Yeah overall the vast majority of law won’t be usefully provable in this way, only specific things (like tax law) that have highly structured logics. So I bet a lot of admin law? Anyway here is one of the key papers: arxiv.org/abs/2103.03198”