GitHub - Ryguy-1/cs2120f23: UVa Discrete Mathematics CS2120 Fall 2023. Class in formal reasoning (formal logic, set theory, properties of relations, proof theory, etc.) using Lean4 💻

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 352 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
merge_with_upstream.sh		merge_with_upstream.sh

About

UVa Discrete Mathematics CS2120 Fall 2023. Class in formal reasoning (formal logic, set theory, properties of relations, proof theory, etc.) using Lean4 💻

Activity

1 star

0 watching

0 forks

Report repository

Navigation Menu

About

Releases

Packages

Contributors

Languages

Folders and files

Latest commit

History

About

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages