.. HyperQB documentation master file, created by
   sphinx-quickstart on Thu Jun  5 17:06:11 2025.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to HyperQB!
===================

.. toctree::
   :maxdepth: 2
   :caption: Contents:

   introduction
   theory
   hyperltl
   case-studies
   playground
   download
   people
   publications