{% extends "_template.html" %} {% block title %}Tools for Formal Methods: Frameworks{% endblock %} {% block content %}
{% for framework in frameworks %}

{{framework}}

{{frameworks[framework].description}}

Tools:

{% endfor %}
{% endblock %}