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