Verification of parts of the Go Standard Library - View it on GitHub