There is an example of the US tax code on the landing page of website (https://catala-lang.org/en/) so they actually seem to have also tried the language on English-written law!
They aren’t. Also, it doesn’t seem to make sense to use only French examples in midst of English written text. I don’t think its a major problem of course and main project page contains English examples, I just found that funny.