@Inproceedings{EPTCS357.4, author = {From, Asta Halkj{\ae}r and Jacobsen, Frederik Krogsdal and Villadsen, J{\o}rgen}, year = {2022}, title = {SeCaV: A Sequent Calculus Verifier in Isabelle/HOL}, editor = {Ayala-Rincon, Mauricio and Bonelli, Eduardo}, booktitle = {{\rm Proceedings 16th} Logical and Semantic Frameworks with Applications, {\rm Buenos Aires, Argentina (Online), 23rd - 24th July, 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {357}, publisher = {Open Publishing Association}, pages = {38-55}, doi = {10.4204/EPTCS.357.4}, }