GitHub repository: psibi/how-to-prove
Primary language: TeX
Description: My Solution to Velleman's book