http://www.renyi.hu/~nemeti/
This is an unofficial reimagining of the Archive of Formal Proofs
No Faster-Than-Light Observersby Mike Stannett and István Németi