leanproverKLR

A formalization of ML kernel languages
Sort by
  1. Git dependency.
    Found on Reservoir.

    SHerLOCc74ae09

    A StableHLO analyzer in Lean
  2. Git dependency.
    Found on Reservoir.

    TensorLibv0.0.16

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

    plausiblev4.23.0

  4. Git dependency.
    Found on Reservoir.

    Cliv4.23.0

    A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.