[arisbe__]

There is a whole "grammar of proofs and basic intro to higher mathematics" style course nowadays.

Book of Proof has a free PDF version. It covers the basic styles of proof (necessary to learn but still not super advanced).

Other texts of this sort include Jay Cummings long form texts (I myself haven't worked through or even exaimed these but they seem popular.