This is an unofficial reimagining of the Archive of Formal Proofs
No Faster-Than-Light Observersby Mike Stannett and István Németi