This is a template to start tutorials or how-to
(** * TITLE
*** Summary
...
*** Table of content
- 1. ...
- 1.1 ...
- 1.2 ...
- 2. ...
*** Prerequisites
Needed:
- TO FILL
Not Needed:
- TO FILL
Installation:
-
- Otherwise, it is available via opam under the name ...
*)