leanprover / TensorLib

A verified tensor library in Lean
22Updated 2 weeks ago

Alternatives and similar repositories for TensorLib:

Users that are interested in TensorLib are comparing it to the libraries listed below