For the Metamath Proof Explorer, open mmset.html in your browser.
For the Hilbert Space Explorer, open mmhil.html in your browser.
For the Metamath Music Page, open mmmusic.html in your browser.