JOSHCLUNEHammer

LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.
Sort by
  1. Git dependency.
    Found on Reservoir.

    Smtd114534

    Tactics for discharging Lean goals into SMT solvers.
  2. Git dependency.
    Found on Reservoir.

    Duperv4.32.0

  3. Git dependency.
    Found on Reservoir.

    aesopv4.32.0

    White-box automation for Lean 4
  4. Git dependency.
    Found on Reservoir.

    premise-selectionv4.32.0