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