Concrete illustrations based on things in your world -> procedural methods (your algorithms) -> formal proof seems to work in my teaching of basic maths to adults.

Have a look at the sample chapter from David Tall's book...

https://homepages.warwick.ac.uk/staff/David.Tall/themes/thre...