AwodeyCT

Formalizing concepts and solving exercises from "Category Theory" by Steve Awodey

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
AwodeyCT.lean		AwodeyCT.lean
Main.lean		Main.lean
README.md		README.md
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback