TY  - RPRT
TI  - LISA -- A Modern Proof System
AU  - Simon Guilloud
AU  - Sankalp Gambhir
AU  - Viktor Kunčak
PY  - 2025
DO  - 10.4230/lipics.itp.2023.17
UR  - https://arxiv.org/abs/2507.11167
ID  - 2507.11167
ER  -