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

{{tool.name}}

{% endfor %}
{% endblock %}