[Taikonerd]

I'm not the parent commenter, but as a way to dip your toes in, I've heard Dafny[1] is probably the easiest language / proof system to get started with.

[1] https://rise4fun.com/dafny