Catala [Romain]
lundi 22 mars 2021
« Catala est un langage dédié à l'écriture d'implémentations correctes d'algorithmes dérivés de textes législatifs, conçu à l'INRIA.  »