Catala est un langage de programmation adapté à la programmation littéraire socio-fiscale. Il permet de dériver des implémentations d'algorithmes complexes à partir de textes législatifs, en annotant chaque ligne du texte avec sa signification en termes de code. Ce dépôt contient la formalisation des séquences du langage Catala en Coq.

Catala est un langage de programmation conçu pour la littérature juridique programmée en matière socio-fiscale. Il permet de dériver des algorithmes fidèles aux textes législatifs en annotant chaque ligne d'un texte législatif avec sa signification en termes de code.