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!

blog.merigoux.ovh/en/2019/12/2

Follow

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: hal.inria.fr/hal-02320347v3/do 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.

twitter.com/_protz_/status/122

Sign in to participate in the conversation
chaos.social

chaos.social – a Fediverse instance for & by the Chaos community