GitHub repository: ADAPT-uiuc/TensorRight
Primary language: Haskell
Description: TensorRight: Automated Verification of Tensor Graph Rewrites