Lean course materials for Brown CS 22, Spring 2023
Primary LanguageLean
No issues in this repository yet.