Beneficial-AI-FoundationFloatSpec

Formally Verified Float Implementation with lean4
Sort by
  1. Git dependency.
    Found on Reservoir.

    cslibd6a1e29

    The Lean Computer Science Library (CSLib)
  2. Git dependency.
    Found on Reservoir.

    Canonicalv4.27.0-rc1

    A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
  3. Git dependency.
    Not found on Reservoir.

    VersoCoq1b2d687

  4. Git dependency.
    Found on Reservoir.

    mathlibv4.27.0-rc1

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

    versov4.27.0-rc1

    Lean documentation authoring tool