==================
Welcome to FLOWS!
==================

This is the landing page for Flows Project, generated as part of
`FLOWS Repository <https://github.com/epfl-dlab/multi-level-reasoning-for-code>`_.


.. important::

   The project is still in progress. And currently the repository is private

Installation
============

.. tip::
    
   tuitorial for installation once we make it public


Introduction
=============

The :doc:`Introduction/index` section contains general introduction of the project

.. toctree::
    :titlesonly:

    Introduction/index

Tutorial
===========

Here is the setup and usage of the tools we have developed 

The :doc:`flows_tutorial/index` section contains pages with a tutorial of the FLOWS of the project

.. toctree::
    :titlesonly:

    flows_tutorial/index

The :doc:`visualization_tutorial/index` section contains pages with a tutorial of the visualization tool of the project

.. toctree::
    :titlesonly:

    visualization_tutorial/index