feat: tensor networks#1398

robinsong2 wants to merge 6 commits intogoogle-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

robinsong2:tensor-networks-wiprobinsong2/formal-conjectures:tensor-networks-wipCopy head branch name to clipboard