A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. - Caitlin D'Abrera; Jeremy E. Dawson; Rajeev Goré (TABLEAUX, 2021)