Metamath

Metamath is a kind of contemporary version of Whitehead and Russell's Principia Mathematica.