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

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