.. ct4l-lib's core objects

===================
Core
===================

This is the core of *ct4l*: it contains all the basic entities that 
are needed for the implementation of the main funcionalities.


.. toctree::
    :maxdepth: 2

    syntax/index.rst
    semantics/index.rst
    proof-theory/index.rst