GitHub repository: kmill/cse290q-25sp
Primary language: Lean
Description: CSE 290Q: Topics in Interactive Theorem Provers