{% extends "layout.html" %} {% block title %}Statistics{% endblock %} {% block head %} {% endblock %} {% block breadcrumb %}
  • Statistics {% endblock %} {% block hamburger %} {{ macros.singlePageLinks() }} {% endblock %} {% block body %}

    Statistics

    Here we collect some metrics regarding the Stacks project. If you have a suggestion for an interesting metric, please get in touch.

    Breakdown of tags per type

    There are {{ total }} tags in total. {% for environment in ["definition", "example", "exercise", "lemma", "proposition", "remark", "remarks", "situation", "theorem"] %} {% endfor %} {% for environment in ["part", "chapter", "section", "subsection"] %} {% endfor %}
    type count
    {{ environment }} {{ counts[environment] }}
    {{ environment }} {{ counts[environment] }}

    Record-breaking tags

    metric tag value
    most complex tag {{ records.complex.tag.tag }} {{ records.complex.value }} in dependency graph
    most used tag {{ records.used.tag.tag }} {{ records.used.value }} tags (indirectly) build on this
    most referenced tag {{ records.referenced.to.tag }} {{ records.referenced.value }} tags reference this tag
    longest proof {{ records.proof.tag.tag }} {{ records.proof.value }} characters long (in HTML)

    Other statistics

    metric value
    number of slogans {{ extras["slogans"] }}
    number of references {{ extras["references"] }}
    number of historical remarks {{ extras["historical remarks"] }}
    number of comments {{ extras["comments"] }}
    {% endblock %} {% block sidebar %} {{ macros.singlePageLinks() }} {% endblock %}