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