The corresponding research article, alas, is only in French: https://hal.inria.fr/hal-02320347v3/document … time to brush up your skills and parler français
Prikaži ovu nit
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! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
-
-
-
Denis is wise and is not on Twitter. But I'll be forwarding to him the oh-so-vital "tweet impression statistics" and whatnot.
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
-
-
Excellent work presented today at
@Etalab by Denis Merigoux. Check https://gitlab.inria.fr/verifisc/verifisc-python … under#GPLv3#bluehats. All this was enabled thanks to the open source code of tax code by@dgfip_officielpic.twitter.com/NW9GER7CLV
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Tax code is sound?
-
oh to live in such a country lol
Kraj razgovora
Novi razgovor -
-
-
Has
@Etalab seen it? Apparently it could help male@OpenFisca better… -
It’s a different implementation, with different aims. Excellent that both exist, but I’m not sure this can exactly help improve
@OpenFisca :) - Još 3 druga odgovora
Novi razgovor -
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
Tweet je nedostupan.
-
-
Very cool work!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.