User's Guide
============

This is the User's Guide to the `fmrbenchmark repository
<https://github.com/fmrchallenge/fmrbenchmark>`_, which is part of a project to
develop benchmark problems for research in so-called "formal methods for
robotics."  This effort is stimulated by competitions, and the main website is
http://fmrchallenge.org. The two other major forms of documentation are the `API
manual <http://api.fmrchallenge.org>`_ and the `benchmark specifications
<http://fmrchallenge.org/norm/>`_.  Among the latter documents are competition
rules. Besides these sources of documentation, there are comments in the code as
well as README and similar files throughout the repository.

For newcomers, a good place to begin is the :doc:`intro`.

.. toctree::
   :numbered:
   :maxdepth: 1

   intro

User's Guide
============

This is the User's Guide to the `fmrbenchmark repository
<https://github.com/fmrchallenge/fmrbenchmark>`_, which is part of a project to
develop benchmark problems for research in so-called "formal methods for
robotics."  This effort is stimulated by competitions, and the main website is
http://fmrchallenge.org. The two other major forms of documentation are the `API
manual <http://api.fmrchallenge.org>`_ and the `benchmark specifications
<http://fmrchallenge.org/norm>`_.  Among the latter documents are competition
rules. Besides these sources of documentation, there are comments in the code as
well as README and similar files throughout the repository.

For newcomers, a good place to begin is the :doc:`intro`.

.. toctree::
   :numbered:
   :maxdepth: 1

   intro

Update "norm" link to avoid trailing slash
DOC: Update "norm" link to avoid trailing slash
