Learning Algebra and Methods for Proving, the project of Mathmatics Department of University of Idaho