Cassayre, F. (2022). A front-end for the LISA proof assistant (Version 1.0.0) [Computer software]. https://doi.org/10.5281/zenodo.6645113