Catala
Qu’est-ce que Catala ?
Catala est un langage specialise concu pour formaliser le droit calculable. Il rapproche le texte juridique et la logique executable afin que les regles statutaires puissent etre relues, testees et maintenues avec moins d’hypotheses cachees.
Role dans LexPons
LexPons utilise Catala pour un traitement formel a haute confiance de la logique statutaire, en commencant par l’AI Act de l’UE. La sortie Catala est generee de maniere asynchrone via le backend VPS de LexPons.