GitHub - forked-from-1kasper/lean4-categories: Category Theory & Cobordism Categories in Lean 4

Name	Name	Last commit message	Last commit date
Latest commit forked-from-1kasper simplify Jun 27, 2024 b8df83e · Jun 27, 2024 History 28 Commits
Categories	Categories	simplify	Jun 27, 2024
.gitignore	.gitignore	Initial commit.	Sep 24, 2022
Categories.lean	Categories.lean	Initial commit.	Sep 24, 2022
lakefile.lean	lakefile.lean	update	Nov 8, 2022
lean-toolchain	lean-toolchain	Initial commit.	Sep 24, 2022