There is no code available at that link, and no indication whatsoever that Google and Apple’s implementation of the algorithms and protocols described in those documents will be open source.

I believe your claim is false.