The Hilbert Space Explorer page has moved. You can find it at:
Metamath Home Page