Open-source textbook for intro to proofs class.