Chapter 15: Natural : proofs in natural language

• 15.1 Introduction
• 15.2 Activating Natural
• 15.3 Customizing Natural
• 15.4 Error messages