GitHub - rchyu/cs2120f23: UVa Discrete Mathematics CS2120 Fall 2023

Name		Name	Last commit message	Last commit date
Latest commit History 94 Commits
.devcontainer		.devcontainer
Instructor		Instructor
Student		Student
Test		Test
.gitignore		.gitignore
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain