TensorLib
A verified tensor library in Lean
1-2 of 2 packages depending on leanprover/TensorLib
Sort by
Package Name
leanprover/KLRuses
v0.0.12A formalization of ML kernel languagesleanprover/TenCertuses
v0.0.10Verified tensor compilation in Lean
v0.0.12v0.0.10