Learning from Coding Math