siddhartha-gadgilleanaide

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

    mathlibv4.26.0

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

    Hammerv4.26.0

    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