brettkooncelean4-mlir0.5.7

LLM-assisted Lean specification of neural architectures with IREE codegen.
Sort by
  1. Git dependency.
    Found on Reservoir.

    checkdeclslean4.18.0

    Tiny Lean library to check existence of declarations
  2. Git dependency.
    Found on Reservoir.

    mathlib9b51fe6

    The math library of Lean 4
  3. Git dependency.
    Found on Reservoir.

    doc-gen4799154a

    Document Generator for Lean 4