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