[anigbrowl]

I disagree with Roel_v and see no fundamental reason why legal texts could not be formalized, but there are good arguments for both positions. Also, he's more knowledgeable than I am so you should discount my opinion a bit. But not too much because I'm super smart :-p

https://computationallegalstudies.com is the blog of law professor Dean Katz, and will probably be of considerable interest to you.