--- layout: default title: Tutorials css: publications ---
{% include headers.html header="documentation" %}

Tutorials

Frama-C Framework

{% include publication-entries.html category="tutorials" plugin="general" %} {% for category in site.data.publications %} {% for plugin in category.plugins %} {% assign publis = site.fc-publications | where:"plugin",plugin.id | where:"category","tutorials" %} {% if 0 != publis.size %}

{{ plugin.name }}

{% include publication-entries.html category="tutorials" plugin=plugin.id %} {% endif %} {% endfor %} {% endfor %}