#Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts

website: https://catala-lang.org
paper: https://arxiv.org/abs/2103.03198
#GitHub: https://github.com/CatalaLang/catala 

#compsci #law