Does mathcomp have a formalization of tensors / multilinear maps? (Is there a library anywhere that does this?)

https://github.com/coq-quantum/CoqQ/blob/main/src/tensor.v

paper: https://arxiv.org/pdf/2207.11350.pdf

Ah, neat, thanks! I will take a look at that

Last updated: Jul 23 2024 at 20:01 UTC