{% extends "_template.html" %} {% block title %}Tools for Formal Methods: Competitions{% endblock %} {% block content %}
{% for competition in competitions %}

{{competition}}

{% endfor %}
{% endblock %}