In France, not only our law are versioned. It's formally proved too!
https://catala-lang.org/
*Edit*: Woah ! The French crew is here. We are at least 5 quoting a variation of <https://www.legifrance.gouv.fr/> for versioning.
I find it ironic to have it named "catalan(g)" on a post about spanish law.
I find it ironic to have it named "catalan(g)" on a post about spanish law.