siddhartha-gadgilleanaide

Tools based on AI for helping with Lean 4
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibv4.28.0

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

    Hammer03c1aa6

    LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.
  3. Local path dependency.
    Not found on Reservoir.

    leanaidecore0.0.0