Slides of Naproche- and ForTheL-related talks.
- Marcel Schütz, Foundational libraries in Naproche (CICM; Cambridge, UK)
-
Adrian De Lon, Peter Koepke, Anton Felix Lorenzen, ForTheL for Type Theory (AITP; Aussois, France)
-
Peter Koepke, An Brief Tutorial on Mathematical Formalizations in Naproche-SAD (HCM Workshop: Mathematical Language and Practical Type Theory; Bonn, Germany)
-
Peter Koepke, ForTheL as a Controlled Natural Language for Lean (Methods in Mathematics/Lean Together 2020; Pittsburgh, USA)
-
Peter Koepke, An Introduction to Haskell and Naproche-SAD
-
Peter Koepke, Making Set Theory Great Again: The Naproche-SAD Project (AITP; Obergurgl, Austria)
-
Peter Koepke, Modeling Human Proof Checking in the Naproche-SAD System (ICMS; Edinburgh, UK)
-
Peter Koepke, Textbook Mathematics in the Naproche-SAD System ( CICM; Prague, Czech Republic)
-
Steffen Frerix, Peter Koepke, [Automatic Proof-Checking of Ordinary Mathematical Texts](2018/frerix-koepke_ automatic-proof-checkingof-ordinary-mathematical-texts.pdf) (CICM 2018; Hagenberg, Austria)
-
Steffen Frerix, Peter Koepke, Making Set Theory Great Again: The Naproche-SAD Project
-
Steffen Frerix, Peter Koepke, Revisiting SAD (Part 1), Revisiting SAD (Part 2) (AITP; Aussois, France)
-
Steffen Frerix, Peter Koepke, Text-Orientated Formal Mathematics (FLoC 2018, Oxford, UK)
-
Peter Koepke, Legible Formal Mathematics based on SAD
-
Ioanna M. Dimitriou H, Peter Koepke, Revisiting Paulson's Theory of the Constructible Universe with Isar and Sledgehammer (AITP; Obergurgl, Austria)
-
Peter Koepke, Set Theory and Formal Mathematics (Menachem Magidor 70th Birthday Conference; Jerusalem, Israel)
-
Peter Koepke, Formalism and Computations (CLMPS; Helsinki, Finland)
-
Peter Koepke, Foundations for Formal Mathematics (5th Colloquium of HCM Research Area KL; Bonn, Germany)
-
Peter Koepke, Natural Formalism (Philosophy of Mathematics Seminar; Oxford, UK)
- Peter Koepke, Formal Mathematics and Controlled Natural Language (Oberseminar Diskrete Optimierung; Bonn, Germany)
- Andrei Paskevich, The syntax and semantics of the ForTheL language