
.. psmt2-frontend documentation master file, created by
   drom new
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to psmt2-frontend
=========================

.. toctree::
   :maxdepth: 2
   :caption: Documentation

   Home <https://github.com/OCamlPro-Coquera/psmt2-frontend/>
   about
   install
   license


Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`
