Volume: Vol-4241 PAAR 2026 | Year: 2026

Paper: « paper3 | paper4 | paper5 »

GenZ: A Generic Sequent Calculus Prover using the Zipper

• Xiaoshuang Yang
• Malvin Gattinger
• Marianna Girlando
• Patrick Koopmann

PDF