Reservoir

No results found
All Packages

TensorLib

A verified tensor library in Lean
  • Readme
  • Versions (11)
  • Dependencies (5)
  • Dependents (2)

TensorLib

  • Apache 2.0
  • 6 days ago
    Last updated on May 28, 2025 at 4:53:05PM
  • 24 stars

Lean

  • Commit f4f5171 (latest) builds on its old leanprover/lean4:v4.19.0
    v4.19.0
  • Commit bde71b9 builds on the old leanprover/lean4:v4.18.0
    v4.18.0
  • Commit da42f1e builds on the old leanprover/lean4:v4.16.0-rc1
    v4.16.0-rc1
  • Commit 142bb8e builds on the old leanprover/lean4:v4.15.0-rc1
    v4.15.0-rc1
  • Commit 2f3e42c builds on the old leanprover/lean4:v4.14.0
    v4.14.0
  • Commit 3952ced builds on the old leanprover/lean4:v4.14.0-rc3
    v4.14.0-rc3
  • Commit 3952ced builds on the old leanprover/lean4:v4.14.0-rc2
    v4.14.0-rc2
  • Commit 3952ced builds on the old leanprover/lean4:v4.13.0
    v4.13.0
  • Commit d1d3854 builds on the old leanprover/lean4:v4.13.0-rc4
    v4.13.0-rc4
  • Commit d1d3854 builds on the old leanprover/lean4:v4.13.0-rc3
    v4.13.0-rc3
  • 17 more

Repository

leanprover/TensorLib

About

  • lean-lang.org
  • The Lean FRO
  • Terms of Use
  • Privacy Policy

Explore

  • Games
  • Playground
  • Community
  • Moogle
  • Loogle

Learn

  • The Lean Manual
  • Theorem Proving in Lean
  • Functional Programming in Lean
  • Mathematics in Lean
  • The Mechanics of Proof
  • How To Prove It With Lean

Social

  • leanprover
  • @leanprover
  • Lean FRO
  • leanprover