{% extends "_template.html" %} {% block title %}Tools for Formal Methods: Languages and Supporting Tools{% endblock %} {% block content %} Table of Contents {% for language in input_languages %} {{language}} {% endfor %}