Exploratory action AVoCat Automated Verification of CATala programs Catala is a new programming language, designed to be understood by legal experts and to follow the...