leanproverTenCert

Verified tensor compilation in Lean
Sort by
  1. Git dependency.
    Found on Reservoir.

    TensorLibv0.0.10

    A verified tensor library in Lean
  2. Git dependency.
    Found on Reservoir.

    KLRd9d8e76

    A formalization of ML kernel languages
  3. Git dependency.
    Found on Reservoir.

    SHerLOCcf77ce5

    A StableHLO analyzer in Lean