template.md

November 2, 2024 · View on GitHub

This is a template to start tutorials or how-to

(** * TITLE

    *** Main contributors

    - ...
    - ...

    *** 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 ...

*)