Catala Lang


*****designed for deriving correct-by-construction implementations from legislative texts*****
[catala](https://github.com/CatalaLang/catala)



> [Catala](https://catala-lang.org/)





