.. pYsabelle documentation master file

Welcome to the pYsabelle documentation!
=================================================

**pYsabelle** is a modern, asynchronous Python client for the Isabelle server protocol.

Table of Contents
--------------------

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

   modules