Catala
What is Catala?
Catala is a domain-specific programming language for formalizing computational law. It keeps legal prose and executable logic closely aligned so statutory rules can be reviewed, tested, and maintained with fewer hidden assumptions.
Role in LexPons
LexPons uses Catala for high-confidence formal treatment of statutory logic, beginning with the EU AI Act. Catala output is generated asynchronously via the LexPons VPS backend so heavier compilation workloads stay off the synchronous transform path.