GitHub repository: matthewhelan/cs2120f23
Primary language: Lean
Description: UVa Discrete Mathematics CS2120 Fall 2023