Proof of Softmax derivative • /r/MachineLearning

Are there any great resources that give an in depth proof of the derivative of the softmax when used within the cross-entropy loss function? I've been struggling to fully derive the softmax and looking for some guidance here.