The Quantum Logic Explorer page has moved. You can find it at:
Metamath Home Page