# Converter

This folder contains all converters implemented in CORA.

Check the respective subfolders and Section 7 in the <a target='_blank' href="https://cora.in.tum.de/manual">CORA manual</a> for see

    ./cora/examples/converter

or more information.


<hr style="height: 1px;">

<img src="../app/images/coraLogo_readme.svg"/>