|
@_protz_ | |||||
|
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! blog.merigoux.ovh/en/2019/12/20/…
|
||||||
|
||||||
|
Jonathan Protzenko
@_protz_
|
31. sij |
|
The corresponding research article, alas, is only in French: hal.inria.fr/hal-02320347v3… time to brush up your skills and parler français
|
||
|
|
||
|
Jonathan Protzenko
@_protz_
|
31. sij |
|
Denis is wise and is not on Twitter. But I'll be forwarding to him the oh-so-vital "tweet impression statistics" and whatnot.
|
||
|
|
||
|
Laurent Joubert
@ljo
|
6 h |
|
Excellent work presented today at @Etalab by Denis Merigoux. Check gitlab.inria.fr/verifisc/verif… under #GPLv3 #bluehats. All this was enabled thanks to the open source code of tax code by @dgfip_officiel pic.twitter.com/NW9GER7CLV
|
||
|
|
||
|
Oleg Grenrus
@phadej
|
31. sij |
|
Tax code is sound?
|
||
|
|
||
|
Keshav Kini
@ffee_machine
|
31. sij |
|
oh to live in such a country lol
|
||
|
|
||
|
Dima Pasechnik
@dimpase
|
1. velj |
|
|
||
|
Antoine Blanchard ✊🏻
@Enroweb
|
1. velj |
|
Has @Etalab seen it? Apparently it could help male @OpenFisca better…
|
||
|
|
||
|
𝙋𝙧𝙖𝙙 𝙉𝙚𝙡𝙡𝙪𝙧𝙪 🌹
@pradnelluru
|
1. velj |
|
Very cool work!
|
||
|
|
||