An interactive tour, with visualizations, through the logical dependency structure of Russell & Whitehead's Principia Mathematica. Interesting all by itself - I love the comparison of game & logical perspectives - and also a signpost to the creator's project of fleshing out PM with machine-checkable proofs and typesetting it to be more friendly to a modern audience.
