(examples)=
# Examples

This part of the documentation describes successful uses of Momba.

[Racetrack](racetrack/index) is a pen and paper game where a car has to be steered on a two-dimensional grid from a start position to a goal position.
We developed a formal model of this game using Momba.


```{toctree}
:maxdepth: 2
:hidden:

racetrack/index
```