leanproverTensorLib

A verified tensor library in Lean
Displaying 1-2 of 2 packages depending on leanprover/TensorLib
Sort by

  1. leanprover/KLRusesv0.0.15

    A formalization of ML kernel languages

  2. leanprover/TenCertusesv0.0.10

    Verified tensor compilation in Lean