Turning Catala into a Proof Platform for the Law
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)