GitHub repository: Ivoz/giam
Description: A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course