> You learn how to use it, but you don't learn the proofs behind it? Which makes sense, at least firstly, considering that understanding a proof is a lot easie

> You learn how to use it, but you don't learn the proofs behind it? Which makes sense, at least firstly, considering that understanding a proof is a lot easier when its conclusion is already familiar.