Decentralized Privacy-Preserving Proximity Tracing -- Documents - View it on GitHub