{% extends "_template.html" %} {% block title %}Tools for Formal Methods: Frameworks{% endblock %} {% block content %} Table of Contents {% for framework in frameworks %} {{framework}} {% endfor %}
{{frameworks[framework].description}}
Tools: