nn.Linear does exactly y=Wx+b.
In the documentation, A is a matrix and A^T denotes A-transpose.
This is due to how the data is passed through the network.
nn.Linear accepts inputs of size (B, D_in) and transforms it into output of size (B, D_out) by a linear transformation using the weight matrix of size (D_out, D_in).