good re-entry into theoretical math

Stream: general

[kapil verma]

Last I studied theoretical math was 11 years ago while studying Physics (GTR, QM, chaos theory etc) ... Been into programming since then .. want to explore lean and probably try implementing some basic theorems in it .... What'd be a good math book to kind of re-enter mathematics and go beyond https://leanprover.github.io/theorem_proving_in_lean/

[Logan Murphy]

What sort of maths are you interested in?

[kapil verma]

The type that gets used in physics tbh ... Not sure what it's called

[kapil verma]

Or anything that can lead up to that in time in lean