Does anyone know of research towards a more precise language to argue in? I'm looking for Coq meets a courtroom
Conversation
Not exactly what you are after (more for legislative texts), but there is Catala: catala-lang.org
1
1
They have a paper about it here: ”Catala: A Programming Language for the Law” arxiv.org/abs/2103.03198
