Stack Exchange — proofassistants.stackexchange.com
Stack ExchangeAcademicEngagementKnowledge sharingQ&ASocial graphSoftware development The content of proofassistants.stackexchange.com (https://proofassistants.stackexchange.com/), a Stack Exchange question-and-answer site, as published in the Stack Exchange Data Dump of April 2024 on the Internet Archive. The posts table holds 7,911 rows: 2,733 posts (942 questions, 1,303 answers, 241 tag wiki excerpts, 241 tag wikis and 6 posts of type 6) and 5,178 comments, written between 8 February 2022 and 31 March 2024. Beside it are 3,372 user accounts, 15,663 votes, 5,872 badges awarded, 241 tags, 8,901 post revisions and 251 links between posts. Every answer keeps the question it answers and every comment the post it was written on, so the threads can be rebuilt. The Internet Archive item describes the dump as anonymised; the votes table names the voter in only 12 rows.
Cite this dataset at
stackexchange-proofassistants.echo.directory
Analytics
Node size is centrality, colour is community. Hover a node for details; click one to isolate its community.
Topic 0
Topic 1
Topic 2
Topic 3
Topic 4
Topic 5
Topic 6
Topic 7
Topic 8
Topic 9
Topic 10
Topic 11
Show all 18 topics
Topic 12
Topic 13
Topic 14
Topic 15
Topic 16
Topic 17
Computed over the full corpus.
Record
- Catalog key
stackexchange-proofassistants-stackexchange-com- Authors
- Stack Exchange, Inc.
- Year
- 2024
- Source paper
- Stack Exchange Data Dump
- License
- CC BY-SA 4.0 (CC-BY-SA-4.0)
- Records
- 8,786
- Nodes
- 447
- Edges
- 993 (directed)
- Nodes are
- user (Stack Exchange account)
- Edges are
- answer collaboration (A answered B's question)
- Attributes
- nodes have attributes; edges have attributes
- Text corpus
- question titles, post bodies, comment text, tag names
- Languages
- en
- Collected
- 2022/2024 (2020s)
- Tasks
- From the graph: link prediction, community detection
- Region
- Global (inferred: the platform is used worldwide)
Provenance
- Originally published at
- https://archive.org/details/stackexchange link checked
- Original files as received
- The source files, unconverted, kept for reference: mirrored on echo.directory on 2026-10-09, 3.6 MB across 1 files. Checksums in MANIFEST.json. For use, start with the data package below.
- Data package
- Version 1.0.0 of this dataset as an ECHO Data Package: posts (7,911 rows), users (3,372 rows), x_votes (15,663 rows), x_badges (5,872 rows), x_tags (241 rows), x_post_history (8,901 rows), x_post_links (251 rows).
- Structure
- Temporal (timestamped), Node attributes, Text, Threaded conversations
How to cite
BibTeX
@misc{echo2026,
title = {ECHO: Exploratory Compendium of Humanity Online},
author = {Switzer, Braden and Zafarani, Reza},
year = {2026},
url = {https://echo.directory},
note = {Syracuse University}
}
@misc{stackexchange_2024,
title = {Stack Exchange Data Dump},
author = {{Stack Exchange, Inc.}},
year = {2024},
month = {apr},
publisher = {Internet Archive},
url = {https://archive.org/details/stackexchange}
} APA
Switzer, B., & Zafarani, R. (2026). ECHO: Exploratory Compendium of Humanity Online [Data repository]. Syracuse University. https://echo.directory
Stack Exchange, Inc. (2024). Stack Exchange — proofassistants.stackexchange.com [Data set]. https://stackexchange-proofassistants.echo.directory/
MLA
Switzer, Braden, and Reza Zafarani. ECHO: Exploratory Compendium of Humanity Online. Syracuse University, 2026, echo.directory.
Stack Exchange, Inc. Stack Exchange — proofassistants.stackexchange.com. 2024, stackexchange-proofassistants.echo.directory/.