CS205 // Discrete Structures I at Rutgers, with professor JEFFREY AMES. // Mainly concerened with publishing the lean repo.