Marcel Schütz

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Natural Deduction

Natural Language

Sequent Calculus

Top Venues

Publications

Michael Kohlhase, Marcel Schütz
Reusing Learning Objects via Theory Morphisms. CICM (2024)
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel
The Isabelle/Naproche Natural Language Proof Assistant. CADE (2021)
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker
Beautiful Formalizations in Isabelle/Naproche. CICM (2021)