Follow

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

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

Show thread
Sign in to participate in the conversation
chaos.social

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