My office mate and friend Denis is formalizing the French tax code. Read his blog post if you want to find out about some legislative blind spots in it!

RT from _protz_ on twitter

My student Denis wrote a formal semantics for the French tax code, complete with proof of soundness and queries to uncover unfair hikes. PL for justice!

The corresponding research article, alas, is only in French: time to brush up your skills and parler français

Denis is wise and is not on Twitter. But I'll be forwarding to him the oh-so-vital "tweet impression statistics" and whatnot.

Show thread
Sign in to participate in the conversation – a Fediverse instance for & by the Chaos community