Beneficial-AI-FoundationNumpySpec

numpy -> lean 4 through ai
Sort by
  1. Git dependency.
    Found on Reservoir.

    Qqd6afe67

    Intuitive, type-safe expression quotations for Lean 4.
  2. Git dependency.
    Found on Reservoir.

    batteries43d0460

    The "batteries included" extended library for the Lean programming language and theorem prover
  3. Git dependency.
    Found on Reservoir.

    verso0ce8d97

    Lean documentation authoring tool