GitHub repository: ucsd-cse230/wi25
Primary language: Lean
Created: 2025-01-02T22:49:57Z
Description: Course materials for UCSD CSE 230 Principles of Programming Languages Winter 2025