{% extends "base.html" %} {% block title %}{{ tag }}{% if current_page > 1 %} (Page {{ current_page }}){% endif %} — Proof Engine{% endblock %} {% block meta_description %}{{ total }} verified proofs tagged '{{ tag }}'{% if current_page > 1 %} (Page {{ current_page }}){% endif %} — Proof Engine{% endblock %} {% block content %}
{{ total }} proof{{ "s" if total != 1 }}
{% for proof in proofs %}