An Isabelle/HOL Formalization of the SCL(FOL) Calculus

von Bromberger, Martin
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant

von Schurr, Hans-Jörg
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)