You might find my site interesting. It attempts to cover basic algebra in a more formal, proof oriented style. I designed it with adults revisiting mathematics and wanting to move on to higher mathematics in mind.

https://algebra.sympathyforthemachine.com