I've been thinking about autoformalizing local laws using agents into TLA+ or something, but it's sufficiently past enough my actual skillset that I'm pretty sure I'd just end up wrestling with slop like a pig in the mud. It's a shame though, I consider law to be just kind of a shitty codebase, with natural language being tortured into cooperating, so it's a really natural fit.

I'll probably yield to my temptations eventually and proceed anyways. Lord help me from all the creative but completely detached interpretations I'll land on.

I did this for a few federal agencies, here a few examples

https://ice.dhs.dev/program/13732-human-trafficking-investig...

https://atf.doj.dev/program/44825-open-gun-store-need-ffl

LMK if you want to know more.