Turning Catala into a Proof Platform for the Law
Domains
Programming Languages [cs.PL]Origin | Files produced by the author(s) |
---|
Origin | Files produced by the author(s) |
---|
Denis Merigoux : Connect in order to contact the contributor
https://inria.hal.science/hal-03447072
Submitted on : Wednesday, November 24, 2021-4:14:56 PM
Last modification on : Tuesday, November 5, 2024-1:14:02 PM
Long-term archiving on : Friday, February 25, 2022-7:35:00 PM