The Metamath Proof Explorer page has moved, as well as its proof that 2+2=4. You can find it at:
Metamath Home Page