No results found

lean-training-data

Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibv4.9.0-rc1

    The math library of Lean 4