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

{{language}}

{% endfor %}
{% endblock %}