Improving mathematical proof based on computational thinking components for prospective teachers in abstract algebra courses | Synapse