GitHub repository: leanprover/TensorLib
Primary language: Lean
Created: 2024-09-20T12:52:03Z
Description: A verified tensor library in Lean