Twitter | Pretraživanje | |
Jonathan Protzenko
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!
Reply Retweet Označi sa "sviđa mi se" More
Jonathan Protzenko 31. sij
Odgovor korisniku/ci @_protz_
The corresponding research article, alas, is only in French: time to brush up your skills and parler français
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 31. sij
Odgovor korisniku/ci @_protz_
Denis is wise and is not on Twitter. But I'll be forwarding to him the oh-so-vital "tweet impression statistics" and whatnot.
Reply Retweet Označi sa "sviđa mi se"
Laurent Joubert 6 h
Odgovor korisniku/ci @_protz_ @Etalab @dgfip_officiel
Excellent work presented today at by Denis Merigoux. Check under . All this was enabled thanks to the open source code of tax code by
Reply Retweet Označi sa "sviđa mi se"
Oleg Grenrus 31. sij
Odgovor korisniku/ci @_protz_ @mietek
Tax code is sound?
Reply Retweet Označi sa "sviđa mi se"
Keshav Kini 31. sij
Odgovor korisniku/ci @phadej @_protz_ @mietek
oh to live in such a country lol
Reply Retweet Označi sa "sviđa mi se"
Dima Pasechnik 1. velj
Odgovor korisniku/ci @_protz_ @ffee_machine @nathanncohen
Reply Retweet Označi sa "sviđa mi se"
Antoine Blanchard ✊🏻 1. velj
Odgovor korisniku/ci @_protz_ @khinsen i 2 ostali
Has seen it? Apparently it could help male better…
Reply Retweet Označi sa "sviđa mi se"
𝙋𝙧𝙖𝙙 𝙉𝙚𝙡𝙡𝙪𝙧𝙪 🌹 1. velj
Odgovor korisniku/ci @_protz_ @ffee_machine
Very cool work!
Reply Retweet Označi sa "sviđa mi se"