Formal verification

1 dataset tagged as the tag “Formal verification”.

1 dataset.

Stack Exchange — proofassistants.stackexchange.com Analyzed

A Stack Exchange (proofassistants.stackexchange.com) dataset of 447 users, 993 answer-collaboration edges, 942 questions, 1,303 answers, collected by Stack Exchange, Inc. via the annual Stack Exchange Data Dump. Each record contains user nodes (reputation, badge counts, vote history), directed weighted edges (answerer→asker, weight=answer score, count=interactions, accepted=bool), post text, tag distribution. User collaboration network from proofassistants.stackexchange.com — directed weighted graph where edges represent knowledge-sharing relationships (A answered B's question), with edge weight reflecting answer quality. Enables prestige hierarchy, community detection, and expertise flow analysis.. Suitable for expertise network analysis, reputation systems, community detection, knowledge flow, PageRank-based authority ranking, Q&A platform dynamics..

9K records447 nodes993 edges2025