I like this guys channel. He does nice softcore examples of proofing techniqies generally required and even does and a set theory basis for the natural numbers rather than the usual peano's axioms.

I enjoyed them. The first book is good on its own, supplemental resources arent really needed and the main citations are from direct translations. The second book is really big and long amd goes in depth on newton's "principia naturalis..." Researching the cited sources in conjuction to the text is actually extremely useful. Especially, for those not acquainted with the old school of thought in mathematics and the pedagogical rigor that it contains.

Hopefully one day I can get lapacke working and build fancier.

Give it a read dood