The Metamath Solitaire page has moved. You can find it at:
Metamath Home Page