Skip to content

feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip#1375

Open
pariandrea wants to merge 8 commits into
leanprover-community:masterfrom
pariandrea:tensors-bond-contraction
Open

feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip#1375
pariandrea wants to merge 8 commits into
leanprover-community:masterfrom
pariandrea:tensors-bond-contraction

feat(Tensors/Contraction): parameterize the raise/lower round trip by…

3bab643
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based linters
succeeded Jul 19, 2026 in 11s