Skip to content

refactor: Remove category theory from Tensors#1131

Open
jstoobysmith wants to merge 16 commits into
leanprover-community:masterfrom
jstoobysmith:deCat
Open

refactor: Remove category theory from Tensors#1131
jstoobysmith wants to merge 16 commits into
leanprover-community:masterfrom
jstoobysmith:deCat

Labels

WIP Currently being worked on, not ready for merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant