Table of Contents
1 Goal
2 Installation and requirements
2.1 Requirements:
2.2 Installation
3 The Proof Modes
3.1 The Interactive Mode
3.2 The Automatic Modes
3.2.1 Light Mode
3.2.2 Tough Mode
3.3 The Semi-Automatic Mode
4 Architecture
4.1 Basics
4.1.1 Model files
4.1.2 A bit on the memory model
4.2 Library