GitHub repository: BhavyaJohar/cs2120f24
Primary language: Lean
Description: CS 2120 (Sullivan) F24