A front-end for the LISA proof assistant - Cassayre, Florian (2022)