The Mathematics Genealogy Project lists mentoring relationships between mathematicians, the Paperscape Project visualizes which publications are "close" to each other (by analyzing citations and coauthor relations).
Are there similar projects concerning proofs and how they relate to each other?
Visualizations of the "landscape" of mathematical results and their dependencies.