Logo

Catala
Version
0.10.0
Short description
Domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts
Source catalogue
2047
87
5
78
Detailed information
Release date
License
apache-2.0
Maintenance type
[internal] Internally maintained by the repository owner
Software type
standalone/other
Used by
Direction Générale des Finances Publiques (DGFiP)
Technical Contacts
Denis Merigoux,
Louis Gesbert