Denis Merigoux est avec nous pour parler de vérification formelle et transformation du droit en code. On discute de son langage de programmation Catala, du code utilisé par la DGFiP, et de plein d’autres sujets passionnants.
Pour l’écouter →
Apple Podcasts,
Spotify
Épisode 2 - Denis Merigoux - Vérification formelle et transformation du droit en code
·
42 mots
·
Temps de lecture 1min