Sort by
  1. Git dependency.
    Found on Reservoir.

    LeanAideTools54587fe

    Tools, specifically for running tactics in the background, with minimal dependencies
  2. Git dependency.
    Found on Reservoir.

    mathlibv4.22.0

    The math library of Lean 4