Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen. A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. In Stefania Monica, Federico Bergenti, editors, Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. Volume 3002 of CEUR Workshop Proceedings, pages 107-121, CEUR-WS.org, 2021. [doi]
Abstract is missing.