Beneficial-AI-FoundationFloatSpec

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

    VersoCoqbff6967

  2. Git dependency.
    Found on Reservoir.

    mathlibv4.27.0-rc1

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

    versov4.27.0-rc1

    Lean documentation authoring tool