Turning Catala into a Proof Platform for the Law - Archive ouverte HAL
Conference Papers Year : 2022

Turning Catala into a Proof Platform for the Law

Fichier principal
Vignette du fichier
paper.pdf (402.76 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03447072 , version 1 (24-11-2021)

Identifiers

  • HAL Id : hal-03447072 , version 1

Cite

Alain Delaët, Denis Merigoux, Aymeric Fromherz. Turning Catala into a Proof Platform for the Law. POPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States. ⟨hal-03447072⟩
694 View
470 Download

Share

More