No results found

KLR

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

    TensorLibv0.0.5

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

    Cliv4.18.0

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