No results found

TensorLib

A verified tensor library in Lean
Sort by
  1. Git dependency.
    Found on Reservoir.

    importGraphv4.18.0

    Tools to analyse and visualise the import structure of Lean packages and their files.
  2. Git dependency.
    Found on Reservoir.

    Cliv4.18.0

    A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  3. Git dependency.
    Found on Reservoir.

    plausiblev4.18.0

  4. Git dependency.
    Found on Reservoir.

    aesopv4.18.0

    White-box automation for Lean 4