Naproche

Publications

  1. Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, and Makarius Wenzel (2021); The Isabelle/Naproche Natural Language Proof Assistant; in: André Platzer and Geoff Sutcliffe (eds.); Automated Deduction – CADE 28; 12–15 July 2021, Pittsburgh, USA (virtual conference).
  2. Adrian De Lon, Peter Koepke, and Anton Lorenzen (2021); A Natural Formalization of the Mutilated Checkerboard Problem in Naproche; in: Liron Cohen and Cezary Kaliszyk (eds.); ITP 2021; 29 June to 1 July 2021, Rome, Italy (virtual conference).
  3. Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, and Erik Sturzenhecker (2021); Beautiful Formalizations in Isabelle/Naproche in Fairouz Kamareddine and Claudio Sacerdoti Coen (eds.); CICM 2021.
  4. Adrian De Lon, Peter Koepke, and Anton Lorenzen (2020); Interpreting Mathematical Texts in Naproche-SAD; in Christoph Benzmüller and Bruce Miller (eds.); CICM 2020.
  5. Steffen Frerix and Peter Koepke (2018); Automatic Proof-Checking of Ordinary Mathematical Texts; in: Osman Hasan et al. (eds.); CICM-WS 2018: Proceedings of the Workshop Formal Mathematics for Mathematicians (FMM), Hagenberg, Austria, 13 August 2018; CEUR-WS vol. 2307.