GitHub repository: juanbelieni/the-mechanics-of-proof
Primary language: HTML
Description: Fork of https://github.com/hrmacbeth/math2001 for the book "The Mechanics of Proof"