Adrian De Lon

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Natural Language

Natural Deduction

Mathematical Knowledge

Top Venues

Publications

Adrian De Lon
The Naproche-ZF Theorem Prover (Short Paper). IJCAR (1) (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)
Adrian De Lon, Peter Koepke, Anton Lorenzen
A Natural Formalization of the Mutilated Checkerboard Problem in Naproche. ITP (2021)
Adrian De Lon, Peter Koepke, Anton Lorenzen
Interpreting Mathematical Texts in Naproche-SAD. CICM (2020)