{% extends "_template.html" %} {% block title %}Tools for Formal Methods: Tools{% endblock %} {% block content %} Table of Contents {% for tool in tool_data %} {{tool.name}} {% endfor %}